Merge pull request #176 from janmarthedal/bin-symbols

Make \bigtriangledown, \oplus and others Bin operators (and not Ord)
This commit is contained in:
Emily Eisenberg
2015-03-10 08:37:46 -07:00

View File

@@ -2151,17 +2151,17 @@ var symbols = {
}, },
"\\odot": { "\\odot": {
font: "main", font: "main",
group: "textord", group: "bin",
replace: "\u2299" replace: "\u2299"
}, },
"\\oplus": { "\\oplus": {
font: "main", font: "main",
group: "textord", group: "bin",
replace: "\u2295" replace: "\u2295"
}, },
"\\otimes": { "\\otimes": {
font: "main", font: "main",
group: "textord", group: "bin",
replace: "\u2297" replace: "\u2297"
}, },
"\\partial":{ "\\partial":{
@@ -2171,7 +2171,7 @@ var symbols = {
}, },
"\\oslash": { "\\oslash": {
font: "main", font: "main",
group: "textord", group: "bin",
replace: "\u2298" replace: "\u2298"
}, },
"\\circledcirc": { "\\circledcirc": {
@@ -2186,37 +2186,37 @@ var symbols = {
}, },
"\\bigtriangleup": { "\\bigtriangleup": {
font: "main", font: "main",
group: "textord", group: "bin",
replace: "\u25b3" replace: "\u25b3"
}, },
"\\bigtriangledown": { "\\bigtriangledown": {
font: "main", font: "main",
group: "textord", group: "bin",
replace: "\u25bd" replace: "\u25bd"
}, },
"\\dagger": { "\\dagger": {
font: "main", font: "main",
group: "textord", group: "bin",
replace: "\u2020" replace: "\u2020"
}, },
"\\diamond": { "\\diamond": {
font: "main", font: "main",
group: "textord", group: "bin",
replace: "\u22c4" replace: "\u22c4"
}, },
"\\star": { "\\star": {
font: "main", font: "main",
group: "textord", group: "bin",
replace: "\u22c6" replace: "\u22c6"
}, },
"\\triangleleft": { "\\triangleleft": {
font: "main", font: "main",
group: "textord", group: "bin",
replace: "\u25c3" replace: "\u25c3"
}, },
"\\triangleright": { "\\triangleright": {
font: "main", font: "main",
group: "textord", group: "bin",
replace: "\u25b9" replace: "\u25b9"
}, },
"\\{": { "\\{": {