diff --git a/collects/scribble/latex-render.ss b/collects/scribble/latex-render.ss index 61a45018..bffdfe36 100644 --- a/collects/scribble/latex-render.ss +++ b/collects/scribble/latex-render.ss @@ -763,6 +763,8 @@ [(#\ø) "{\\o}"] [(#\Ø) "{\\O}"] [(#\uA7) "{\\S}"] + [(#\〚) "$[\\![$"] + [(#\〛) "$]\\!]$"] [else c]) c)]))) (loop (add1 i)))))))