fix Latex rendering for some accented Roman characters

svn: r15395

original commit: 7527c219b7a65fe26be327a8a775793335c035df
This commit is contained in:
Matthew Flatt 2009-07-06 15:12:22 +00:00
parent 0797e7de50
commit 21224434fb

View File

@ -654,6 +654,11 @@
[(#\☻) "$\\blacksmiley$"]
[(#\☹) "$\\frownie$"]
[(#\à) "\\`{a}"]
[(#\è) "\\`{e}"]
[(#\é) "\\'{e}"]
[(#\ä) "\\\"a"]
[(#\ü) "\\\"u"]
[(#\ö) "\\\"o"]
[(#\uA7) "\\S"]
[else c])
c)])))