PEP-308 a "simplicity-first" alternative

[Paul Rubin]

Erik Max Francis <max at alcyone.com> writes:
> > => is the traditional mathematical symbol for boolean implication.
> > -> looks more to me like some kind of pointer operation.  But either
> > one is ok with me for this.
> 
> Not to nitpick into the ground, but the traditional symbol for
> implication is an arrow with only one horizonal line.  In mathematics
> when the double line version is used, it's often used to mean something
> else, like "is equivalent to" or "evaluates to."

Of course it depends on what you're reading, but
I've usually seen two-way implication written as "<=>".

Equivalence (in a general sense, like "3 is equivalent to 8, mod 5",
not necessarily Boolean) is often written as an equal sign with three
horizontal lines instead of two.