diff --git a/scribble-lib/scribble/latex-render.rkt b/scribble-lib/scribble/latex-render.rkt index 5aae9393..dfa2a012 100644 --- a/scribble-lib/scribble/latex-render.rkt +++ b/scribble-lib/scribble/latex-render.rkt @@ -1150,6 +1150,11 @@ [(#\↝) "$\\leadsto$"] [(#\↱) "$\\Lsh$"] [(#\↰) "$\\Rsh$"] + [(#\⇀) "$\\rightharpoonup$"] + [(#\↼) "$\\leftharpoonup$"] + [(#\⇁) "$\\rightharpoondown$"] + [(#\↽) "$\\leftharpoondown$"] + [(#\⇌) "$\\rightleftharpoons$"] [(#\⇕) "$\\Updownarrow$"] [(#\א) "$\\aleph$"] [(#\′) "$\\prime$"]