add support for alternative unicode for white square brackets

please include in 6.3
2015-10-18 07:57:06 -05:00 · 2015-10-18 07:57:06 -05:00 · e0bbdf62bf
commit e0bbdf62bf
parent 5bd82177cb
1 changed files with 2 additions and 2 deletions
--- a/scribble-lib/scribble/latex-render.rkt
+++ b/scribble-lib/scribble/latex-render.rkt
@ -1149,8 +1149,8 @@
                            [(#\ł) "{\\l}"]
                            [(#\Ł) "{\\L}"]
                            [(#\uA7) "{\\S}"]
-                            [(#\〚) "$[\\![$"]
-                            [(#\〛) "$]\\!]$"]
+                            [(#\⟦ #\〚) "$[\\![$"]
+                            [(#\⟧ #\〛) "$]\\!]$"]
                            [(#\↦) "$\\mapsto$"]
                            [(#\⊤) "$\\top$"]
                            [(#\¥) "{\\textyen}"]