Fix Scribble's handling of the trademark symbol.

original commit: 4b1e4f9312e5379d60c8e8344ae74aba0e5b4f3a
2011-03-22 12:35:11 -04:00 · 2011-03-22 12:35:11 -04:00 · 16f2364f42
commit 16f2364f42
parent 3a7876b93a
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)))))))