diff --git a/scribble-lib/scribble/latex-render.rkt b/scribble-lib/scribble/latex-render.rkt index f7ea738d..794f1b72 100644 --- a/scribble-lib/scribble/latex-render.rkt +++ b/scribble-lib/scribble/latex-render.rkt @@ -1085,6 +1085,9 @@ [(#\↕) "$\\updownarrow$"] [(#\↔) "$\\leftrightarrow$"] [(#\↗) "$\\nearrow$"] + [(#\↝) "$\\leadsto$"] + [(#\↱) "$\\Lsh$"] + [(#\↰) "$\\Rsh$"] [(#\⇕) "$\\Updownarrow$"] [(#\א) "$\\aleph$"] [(#\′) "$\\prime$"] @@ -1159,6 +1162,7 @@ [(#\∨) "$\\vee$"] [(#\∧) "$\\wedge$"] [(#\◃) "$\\triangleright$"] + [(#\◊) "$\\Diamond$"] [(#\⊙) "$\\odot$"] [(#\★) "$\\star$"] [(#\†) "$\\dagger$"]