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

Make \bigtriangledown, \oplus and others Bin operators (and not Ord)

Browse Source
This commit is contained in:
Jan Marthedal Rasmussen 2014-12-22 22:14:59 +01:00
parent cefda0ac2d
commit eedd397f18
1 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
src/symbols.js
View File

@ -614,17 +614,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":{
@ -634,7 +634,7 @@ var symbols = {
}, },
"\\oslash": { "\\oslash": {
font: "main", font: "main",
group: "textord", group: "bin",
replace: "\u2298" replace: "\u2298"
}, },
"\\circledcirc": { "\\circledcirc": {
@ -649,37 +649,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"
}, },
"\\{": { "\\{": {