Add scribble support for additional letters from the Czech alphabet.

original commit: f036b0bd12faf7bcad812f516d938ce5afaf0bc1
2012-07-12 17:38:51 -04:00 · 2012-07-12 17:38:51 -04:00 · 0d977a560c
commit 0d977a560c
parent 570f682b23
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}"]
                            [(#\〚) "$[\\![$"]
                            [(#\〛) "$]\\!]$"]