From 840ab7019113ca02bb9287064c0e346e403db90e Mon Sep 17 00:00:00 2001
From: Erik Vesteraas <erik@vestera.as>
Date: Wed, 17 Sep 2014 16:39:55 +0200
Subject: [PATCH] Added various set theory and logic symbols

\subset, \supset, \subseteq, \supseteq, \cap, \cup, \setminus,
\neg, \lnot, \top, \bot, \emptyset, \varnothing, \land, \lor,
\wedge, \vee, \notin, \nsubseteq, \nsupseteq, \models
---
 src/symbols.js | 105 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 105 insertions(+)

diff --git a/src/symbols.js b/src/symbols.js
index f1ec40d77..41ad43083 100644
--- a/src/symbols.js
+++ b/src/symbols.js
@@ -112,6 +112,36 @@ var symbols = {
             group: "textord",
             replace: "\u03a9"
         },
+        "\\neg": {
+            font: "main",
+            group: "textord",
+            replace: "\u00ac"
+        },
+        "\\lnot": {
+            font: "main",
+            group: "textord",
+            replace: "\u00ac"
+        },
+        "\\top": {
+            font: "main",
+            group: "textord",
+            replace: "\u22a4"
+        },
+        "\\bot": {
+            font: "main",
+            group: "textord",
+            replace: "\u22a5"
+        },
+        "\\emptyset": {
+            font: "main",
+            group: "textord",
+            replace: "\u2205"
+        },
+        "\\varnothing": {
+            font: "ams",
+            group: "textord",
+            replace: "\u2205"
+        },
         "\\alpha": {
             font: "main",
             group: "mathord",
@@ -301,6 +331,41 @@ var symbols = {
             group: "bin",
             replace: "\u00d7"
         },
+        "\\cap": {
+            font: "main",
+            group: "bin",
+            replace: "\u2229"
+        },
+        "\\cup": {
+            font: "main",
+            group: "bin",
+            replace: "\u222a"
+        },
+        "\\setminus": {
+            font: "main",
+            group: "bin",
+            replace: "\u2216"
+        },
+        "\\land": {
+            font: "main",
+            group: "bin",
+            replace: "\u2227"
+        },
+        "\\lor": {
+            font: "main",
+            group: "bin",
+            replace: "\u2228"
+        },
+        "\\wedge": {
+            font: "main",
+            group: "bin",
+            replace: "\u2227"
+        },
+        "\\vee": {
+            font: "main",
+            group: "bin",
+            replace: "\u2228"
+        },
         "\\surd": {
             font: "main",
             group: "textord",
@@ -396,6 +461,46 @@ var symbols = {
             group: "rel",
             replace: "\u2208"
         },
+        "\\notin": {
+            font: "main",
+            group: "rel",
+            replace: "\u2209"
+        },
+        "\\subset": {
+            font: "main",
+            group: "rel",
+            replace: "\u2282"
+        },
+        "\\supset": {
+            font: "main",
+            group: "rel",
+            replace: "\u2283"
+        },
+        "\\subseteq": {
+            font: "main",
+            group: "rel",
+            replace: "\u2286"
+        },
+        "\\supseteq": {
+            font: "main",
+            group: "rel",
+            replace: "\u2287"
+        },
+        "\\nsubseteq": {
+            font: "ams",
+            group: "rel",
+            replace: "\u2288"
+        },
+        "\\nsupseteq": {
+            font: "ams",
+            group: "rel",
+            replace: "\u2289"
+        },
+        "\\models": {
+            font: "main",
+            group: "rel",
+            replace: "\u22a8"
+        },
         "\\leftarrow": {
             font: "main",
             group: "rel",