suzanne.soy/scribble-math
1
0
Fork 0
Code Issues 8 Pull Requests 3 Actions Packages Projects Releases Wiki Activity

Merge pull request #72 from evestera/setrelops

Browse Source 
Added set theory and logic symbols
This commit is contained in:
Emily Eisenberg 2014-09-18 22:06:33 -07:00
commit 73c33b015a
1 changed files with 105 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

105
src/symbols.js
View File

@ -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",