better latex rendering of tt underscore

svn: r13667
This commit is contained in:
Matthew Flatt 2009-02-16 16:20:22 +00:00
parent 16d3208fb3
commit 6250d5e993

View File

@ -374,7 +374,9 @@
[(#\\) (if (rendering-tt)
"{\\char`\\\\}"
"$\\backslash$")]
[(#\_) "$\\_$"]
[(#\_) (if (rendering-tt)
"{\\char`\\_}"
"$\\_$")]
[(#\^) "{\\char'136}"]
[(#\>) (if (rendering-tt) "{\\texttt >}" "$>$")]
[(#\<) (if (rendering-tt) "{\\texttt <}" "$<$")]