diff options
-rwxr-xr-x | cli.js | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -74,7 +74,7 @@ if ((idx = params.indexOf("-r")) > -1) { .replace(/&/g, "\\&") .replace(/_/g, "\\_") .replace(/\^/g, "\\^") - .replace(/~/g, "\\textasciitilde"); + .replace(/~/g, "$\\mathtt{\\sim}$"); let hay; const answer = (needle) => { |