diff --git a/scribble-lib/scribble/latex-render.rkt b/scribble-lib/scribble/latex-render.rkt index bc6f66dc..289232ec 100644 --- a/scribble-lib/scribble/latex-render.rkt +++ b/scribble-lib/scribble/latex-render.rkt @@ -1135,6 +1135,7 @@ [(#\≐) "$\\doteq$"] [(#\⌢) "$\\frown$"] [(#\∈) "$\\in$"] + [(#\∉) "$\\not\\in$"] [(#\∋) "$\\ni$"] [(#\∝) "$\\propto$"] [(#\⊢) "$\\vdash$"]