From 2e811060c5ded00a8946303aae7391ebac9febe6 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 23 Mar 2011 18:21:14 -0400 Subject: [PATCH] Add the capital version of an accented character to Scribble. --- collects/scribble/latex-render.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/scribble/latex-render.rkt b/collects/scribble/latex-render.rkt index ad54351eed..1ea4e37e31 100644 --- a/collects/scribble/latex-render.rkt +++ b/collects/scribble/latex-render.rkt @@ -805,6 +805,7 @@ [(#\ê) "\\^{e}"] [(#\Ê) "\\^{E}"] [(#\í) "\\'{i}"] + [(#\Í) "\\'{I}"] [(#\î) "\\^{i}"] [(#\Î) "\\^{I}"] [(#\ô) "\\^{o}"]