From d166f0969cfd2c2920acb4eeb15d040588fb0f78 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 16 Feb 2009 15:59:39 +0000 Subject: [PATCH] better latex rendering of tt curly braces and backslash svn: r13665 original commit: 839bc78f4ba9af1ecf9f978f5ba8f3196da06264 --- collects/scribble/latex-render.ss | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/collects/scribble/latex-render.ss b/collects/scribble/latex-render.ss index ea2bf3a5..5eee6f8b 100644 --- a/collects/scribble/latex-render.ss +++ b/collects/scribble/latex-render.ss @@ -371,7 +371,9 @@ (let ([c (string-ref s i)]) (display (case c - [(#\\) "$\\backslash$"] + [(#\\) (if (rendering-tt) + "{\\char`\\\\}" + "$\\backslash$")] [(#\_) "$\\_$"] [(#\^) "{\\char'136}"] [(#\>) (if (rendering-tt) "{\\texttt >}" "$>$")] @@ -380,7 +382,10 @@ [(#\? #\! #\. #\:) (if (rendering-tt) (format "{\\hbox{\\texttt{~a}}}" c) c)] [(#\~) "$\\sim$"] - [(#\{ #\} #\# #\% #\& #\$) (format "\\~a" c)] + [(#\{ #\}) (if (rendering-tt) + (format "{\\char`\\~a}" c) + (format "\\~a" c))] + [(#\# #\% #\& #\$) (format "\\~a" c)] [(#\uA0) "~"] [(#\uDF) "{\\ss}"] [(#\u039A) "K"] ; kappa