Do bin -> ord for all the correct types

Fixes T1303 Auditors: alpert
2013-08-10 03:23:46 -07:00 · 2013-08-10 03:23:46 -07:00 · 5788a76dcf
commit 5788a76dcf
parent 7e5e6a90d3
1 changed files with 2 additions and 1 deletions
--- a/buildTree.js
+++ b/buildTree.js
@ -57,7 +57,8 @@ var groupTypes = {
            var atoms = prevAtom.value.value;
            prevAtom = atoms[atoms.length - 1];
        }
-        if (!prev || utils.contains(["bin", "open", "rel"], prevAtom.type)) {
+        if (!prev || utils.contains(["bin", "open", "rel", "op", "punct"],
+                prevAtom.type)) {
            group.type = "ord";
            className = "mord";
        }