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
This commit is contained in:
parent
5476c849c9
commit
840ab70191
105
src/symbols.js
105
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",
|
||||
|
|
Loading…
Reference in New Issue
Block a user