From 7527c219b7a65fe26be327a8a775793335c035df Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 6 Jul 2009 15:12:22 +0000 Subject: [PATCH] fix Latex rendering for some accented Roman characters svn: r15395 --- collects/scribble/latex-render.ss | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/collects/scribble/latex-render.ss b/collects/scribble/latex-render.ss index 20c5585bb6..6ade443299 100644 --- a/collects/scribble/latex-render.ss +++ b/collects/scribble/latex-render.ss @@ -654,6 +654,11 @@ [(#\☻) "$\\blacksmiley$"] [(#\☹) "$\\frownie$"] [(#\à) "\\`{a}"] + [(#\è) "\\`{e}"] + [(#\é) "\\'{e}"] + [(#\ä) "\\\"a"] + [(#\ü) "\\\"u"] + [(#\ö) "\\\"o"] [(#\uA7) "\\S"] [else c]) c)])))