From ed01aa1e437254056929cfd4c88443d3106073a3 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 22 Sep 2015 21:03:08 -0500
Subject: [PATCH] add notin as a tex shortcut

closes PR 15157
---
 tex-table/tex-table.rkt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tex-table/tex-table.rkt b/tex-table/tex-table.rkt
index 4f7719ff..e76abcce 100644
--- a/tex-table/tex-table.rkt
+++ b/tex-table/tex-table.rkt
@@ -163,6 +163,7 @@
     ("frown" "⌢")
     ("in" "∈")
     ("ni" "∋")
+    ("notin" "∉")
     ("propto" "∝")
     ("vdash" "⊢")
     ("dashv" "⊣")