another Scribble unicode->latex hack

svn: r16027 original commit: 1b20b17dbebd713cd10d92d5181fbf0fd3ee5657
2009-09-16 22:42:55 +00:00 · 2009-09-16 22:42:55 +00:00 · ff1b300172
commit ff1b300172
parent 1ddb60fad0
1 changed files with 2 additions and 0 deletions
--- a/collects/scribble/latex-render.ss
+++ b/collects/scribble/latex-render.ss
@ -763,6 +763,8 @@
                            [(#\ø) "{\\o}"]
                            [(#\Ø) "{\\O}"]
                            [(#\uA7) "{\\S}"]
+                            [(#\〚) "$[\\![$"]
+                            [(#\〛) "$]\\!]$"]
                            [else c])
                          c)])))
                (loop (add1 i)))))))