!==
Term
%
Matrix
Term
Vec
&&
Constraint
*
Matrix
Term
Vec
*+
Matrix
Vec
+
Matrix
Term
Vec
++
Vec
-
Matrix
Term
Vec
/
Matrix
Term
Vec
:*
Matrix
Vec
<
Term
<=
Term
<==>
Constraint
===
Term
==>
Constraint
>
Term
>=
Term
^
Constraint
||
Constraint