!
Term
!==
Term
$
Constraint
%
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
===
Term
==>
Constraint
>
Term
>=
Term
?
Term
^
Constraint
||
Constraint