Add scribble support for additional letters from the Czech alphabet.

2012-07-12 17:38:51 -04:00 · 2012-07-12 17:38:51 -04:00 · f036b0bd12
commit f036b0bd12
parent d8861a6947
1 changed files with 3 additions and 0 deletions
--- a/collects/scribble/latex-render.rkt
+++ b/collects/scribble/latex-render.rkt
@ -967,7 +967,10 @@
                            [(#\Ø) "{\\O}"]
                            [(#\ł) "{\\l}"]
                            [(#\Ł) "{\\L}"]
+                            [(#\ř) "{\\v r}"]
+                            [(#\Ř) "{\\v R}"]
                            [(#\š) "{\\v s}"]
+                            [(#\Š) "{\\v S}"]
                            [(#\uA7) "{\\S}"]
                            [(#\〚) "$[\\![$"]
                            [(#\〛) "$]\\!]$"]