TRIV DOC
Add equivalence operator "<->" to spec language
Add "<" and ">" operators for variable and number comparisons
Add "<=", ">=", and "!=" operators.  No unit tests yet.

"<=" is "less than or equal to",
">=" is "greater than or equal to", and
"!=" is "not equal to".