Add the capital version of an accented character to Scribble.

2011-03-23 18:21:14 -04:00 · 2011-03-23 18:21:14 -04:00 · 2e811060c5
commit 2e811060c5
parent 85b846f5f3
1 changed files with 1 additions and 0 deletions
--- a/collects/scribble/latex-render.rkt
+++ b/collects/scribble/latex-render.rkt
@ -805,6 +805,7 @@
                            [(#\ê) "\\^{e}"]
                            [(#\Ê) "\\^{E}"]
                            [(#\í) "\\'{i}"]
+                            [(#\Í) "\\'{I}"]
                            [(#\î) "\\^{i}"]
                            [(#\Î) "\\^{I}"]
                            [(#\ô) "\\^{o}"]