From c9e98a5f1f3e93815352e4177730d7704c5ecda9 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 16 Jun 2011 15:05:44 -0600 Subject: [PATCH] Scribble Latex Unicode fixes --- collects/scribble/latex-render.rkt | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/collects/scribble/latex-render.rkt b/collects/scribble/latex-render.rkt index d2ade52d5b..4d9eea4ee8 100644 --- a/collects/scribble/latex-render.rkt +++ b/collects/scribble/latex-render.rkt @@ -680,6 +680,12 @@ [(#\u039B) "$\\Lambda$"] [(#\u03BC) "$\\mu$"] [(#\u03C0) "$\\pi$"] + [(#\‘) "{`}"] + [(#\’) "{'}"] + [(#\“) "{``}"] + [(#\”) "{''}"] + [(#\u2013) "{--}"] + [(#\u2014) "{---}"] [(#\∞) "$\\infty$"] [(#\⇓) "$\\Downarrow$"] [(#\↖) "$\\nwarrow$"]