Fix Scribble's handling of the trademark symbol.

2011-03-22 12:35:11 -04:00 · 2011-03-22 12:35:11 -04:00 · 4b1e4f9312
commit 4b1e4f9312
parent 6e9fea94e0
1 changed files with 1 additions and 0 deletions
--- a/collects/scribble/latex-render.rkt
+++ b/collects/scribble/latex-render.rkt
@ -826,6 +826,7 @@
                            [(#\↦) "$\\mapsto$"]
                            [(#\⊤) "$\\top$"]
                            [(#\¥) "{\\textyen}"]
+                            [(#\™) "{\\texttrademark}"]
                            [else c])
                          c)])))
                (loop (add1 i)))))))