From 6c6d4b4adfa0b4dda95279ea079b3d65874acff0 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

(cherry picked from commit e0bbdf62bff4fdfcd2f0d003a5e3c83db45c7b50)
---
 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}"]