fix Latex rendering for some accented Roman characters

svn: r15395
This commit is contained in:
Matthew Flatt 2009-07-06 15:12:22 +00:00
parent ebb45abee5
commit 7527c219b7

View File

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