From c80cbc360e41a57d64e360f7f8cec9ab4c3cd969 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Sat, 17 Oct 2015 12:18:52 -0600
Subject: [PATCH] Latex rendering for not-in character

(cherry picked from commit 5bd82177cb936e58626d6a6b0dac3ee3b3e89b53)
---
 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 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$"]