diff --git a/scribble-lib/scribble/latex-render.rkt b/scribble-lib/scribble/latex-render.rkt index 546b6f43..78eaf307 100644 --- a/scribble-lib/scribble/latex-render.rkt +++ b/scribble-lib/scribble/latex-render.rkt @@ -1136,6 +1136,7 @@ [(#\↓) "$\\downarrow$"] [(#\⇒) "$\\Rightarrow$"] [(#\→) "$\\rightarrow$"] + [(#\⟶) "$\\longrightarrow$"] [(#\↘) "$\\searrow$"] [(#\↙) "$\\swarrow$"] [(#\←) "$\\leftarrow$"]