mod div priority
This commit is contained in:
parent
694cda47ca
commit
35f2b46521
@ -427,7 +427,7 @@ class op(object):
|
|||||||
caract = {
|
caract = {
|
||||||
"operator" : "/", \
|
"operator" : "/", \
|
||||||
"name" : "div",\
|
"name" : "div",\
|
||||||
"priority" : 4, \
|
"priority" : 5, \
|
||||||
"arity" : 2, \
|
"arity" : 2, \
|
||||||
"txt" : "{op1} / {op2}",\
|
"txt" : "{op1} / {op2}",\
|
||||||
"tex" : "\\frac{{ {op1} }}{{ {op2} }}",\
|
"tex" : "\\frac{{ {op1} }}{{ {op2} }}",\
|
||||||
|
Loading…
Reference in New Issue
Block a user