commit 28058c5e4e0f1d6beba1d36d43df14f8f69d52de
parent ff1b3001728d653927b5401a3044b66a0378b575
Author: Matthew Flatt <mflatt@racket-lang.org>
Date: Thu, 17 Sep 2009 00:34:32 +0000
and another Scribble unicode->latex hack
svn: r16028
original commit: 14b0232f27a4c482bcc604feaa9c99586ba34fb1
Diffstat:
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/collects/scribble/latex-render.ss b/collects/scribble/latex-render.ss
@@ -765,6 +765,8 @@
[(#\uA7) "{\\S}"]
[(#\〚) "$[\\![$"]
[(#\〛) "$]\\!]$"]
+ [(#\↦) "$\\mapsto$"]
+ [(#\⊤) "$\\top$"]
[else c])
c)])))
(loop (add1 i)))))))