bracket <not> correctly

(I think)
mathjax · Apr 11, 2014 · 05000bc · 05000bc
1 parent 5ec31d3
commit 05000bc
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/ctop.js b/ctop.js
@@ -673,6 +673,19 @@ CToP.applyTokens = {
 	"lambda": CToP.bind('\u03BB','.'),
 
 }
+CToP.applyTokens['not'] = function(parentNode,contentMMLNode,firstArg,args,bvars,qualifiers,precedence) {
+	var mrow = CToP.createElement('mrow');
+	CToP.appendToken(mrow,'mo','\u00ac');
+	var needsBrackets = args[0].localName=='apply';
+	if(needsBrackets) {
+		CToP.appendToken(mrow,'mo','(');
+	}
+	CToP.applyTransform(mrow,args[0],precedence);
+	if(needsBrackets) {
+		CToP.appendToken(mrow,'mo',')');
+	}
+	parentNode.appendChild(mrow)
+}
 CToP.applyTokens['tendsto'] = function(parentNode,contentMMLNode,firstArg,args,bvars,qualifiers,precedence) {
 	var type;
 	if(firstArg.localName=='tendsto') {