From eedd397f1818dc316de9d18d43986af9333f4d1a Mon Sep 17 00:00:00 2001
From: Jan Marthedal Rasmussen <me@janmr.com>
Date: Mon, 22 Dec 2014 22:14:59 +0100
Subject: [PATCH] Make \bigtriangledown, \oplus and others Bin operators (and
 not Ord)

---
 src/symbols.js | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

diff --git a/src/symbols.js b/src/symbols.js
index 6c94d1f1c..c17e5656f 100644
--- a/src/symbols.js
+++ b/src/symbols.js
@@ -614,17 +614,17 @@ var symbols = {
         },
         "\\odot": {
             font: "main",
-            group: "textord",
+            group: "bin",
             replace: "\u2299"
         },
         "\\oplus": {
             font: "main",
-            group: "textord",
+            group: "bin",
             replace: "\u2295"
         },
         "\\otimes": {
             font: "main",
-            group: "textord",
+            group: "bin",
             replace: "\u2297"
         },
         "\\partial":{
@@ -634,7 +634,7 @@ var symbols = {
         },
         "\\oslash": {
             font: "main",
-            group: "textord",
+            group: "bin",
             replace: "\u2298"
         },
         "\\circledcirc": {
@@ -649,37 +649,37 @@ var symbols = {
         },
         "\\bigtriangleup": {
             font: "main",
-            group: "textord",
+            group: "bin",
             replace: "\u25b3"
         },
         "\\bigtriangledown": {
             font: "main",
-            group: "textord",
+            group: "bin",
             replace: "\u25bd"
         },
         "\\dagger": {
             font: "main",
-            group: "textord",
+            group: "bin",
             replace: "\u2020"
         },
         "\\diamond": {
             font: "main",
-            group: "textord",
+            group: "bin",
             replace: "\u22c4"
         },
         "\\star": {
             font: "main",
-            group: "textord",
+            group: "bin",
             replace: "\u22c6"
         },
         "\\triangleleft": {
             font: "main",
-            group: "textord",
+            group: "bin",
             replace: "\u25c3"
         },
         "\\triangleright": {
             font: "main",
-            group: "textord",
+            group: "bin",
             replace: "\u25b9"
         },
         "\\{": {