commit 5bd82177cb936e58626d6a6b0dac3ee3b3e89b53
parent 9c26539b71cc14524c1b0b18873b3918cdad7dd2
Author: Matthew Flatt <mflatt@racket-lang.org>
Date: Sat, 17 Oct 2015 12:18:52 -0600
Latex rendering for not-in character
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git 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$"]