PEP-308 a "simplicity-first" alternative

Paul Rubin http
Wed Feb 12 05:31:42 CET 2003

Erik Max Francis <max at> 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.

More information about the Python-list mailing list