use \textasciitilde instead of \sim for regular tildes

thanks to @benknoble for identifying this fix closes #370
racket · Jul 10, 2023 · 85b6c74 · 85b6c74
1 parent 97d5b34
commit 85b6c74
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scribble-lib/scribble/latex-render.rkt b/scribble-lib/scribble/latex-render.rkt
@@ -1075,7 +1075,7 @@
                      [(#\') "{\\textquotesingle}"]
                      [(#\? #\! #\. #\:)
                       (if (rendering-tt) (format "{\\hbox{\\texttt{~a}}}" c) c)]
-                     [(#\~) "$\\sim$"]
+                     [(#\~) "{\\textasciitilde}"]
                      [(#\{ #\}) (if (rendering-tt)
                                     (format "{\\char`\\~a}" c)
                                     (format "\\~a" c))]