From e0bbdf62bff4fdfcd2f0d003a5e3c83db45c7b50 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sun, 18 Oct 2015 07:57:06 -0500
Subject: [PATCH] add support for alternative unicode for white square brackets
please include in 6.3
---
scribble-lib/scribble/latex-render.rkt | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/scribble-lib/scribble/latex-render.rkt b/scribble-lib/scribble/latex-render.rkt
index 289232ec..844ec771 100644
--- 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}"]