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 2:03 PM -0700 10/15/00, John Denker wrote:
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.

An expression containing that symbol has a distinct left and a
distinct right. The thing to be defined is *always* on the left
and the definition on the right, even, I believe, when the
expression is written with Hebrew text!

Leigh