From aeda087b67cacae193b23dd8a7465322890cd6f5 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 14 Jan 2019 10:34:54 -0600 Subject: [PATCH] add longrightarrow please merge to release branch --- scribble-lib/scribble/latex-render.rkt | 1 + 1 file changed, 1 insertion(+) 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$"]