From 21224434fb6dace8b28109e1df502a6410510048 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 original commit: 7527c219b7a65fe26be327a8a775793335c035df --- 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 20c5585b..6ade4432 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)])))