Chronology Current Month Current Thread Current Date
[Year List] [Month List (current year)] [Date Index] [Thread Index] [Thread Prev] [Thread Next] [Date Prev] [Date Next]

Re: equivalence +- assignment

At 03:34 PM 10/15/00 -0500, Joel Rauber wrote:

What is wrong with the three parallel bar symbol for a definition? i.e.
why use := for a definition, when the mathematicians already gave us the other
one.

The three-parallel-bars symbol has an unwanted left/right symmetry.

It would be nice to have
symmetric relations (e.g. equalities) represented by symmetric symbols, and
asymmetric relations (e.g. definitions) represented by asymmetric symbols.

If you want to reserve := for an Algol-like assignment statement, and use
some OTHER asymmetric symbol for definitions, that's fine with me.