From: "Robert Dodier" <robert.dodier at gmail.com>
> 2) For the logical operations, maybe we can use infix notations:
> - a => b rather than implies(a,b)
> - a <=> b rather than equivalent(a,b)
No, I would rather see words than symbols here.
Maxima doesn't already have these operators and I don't think they
should be invented just for this purpose.
I don't think the distinction between "sords" and "symbols" expresses
what you mean here. I assume you mean that you would rather introduce
new functions such as "implies(a,b)" rather than new infix operators
such as "a=>b".
Another argument against new infix operators is that when introducing
new infix operators it is also necessary to define their precedence
and associativity, and make sure user programmers understand them.
Even so, botched operator precedence is a source of hard-to-debug
misbehavior in complex infix expressions.