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

There are many good reasons to prefer the ":=" symbol
...
were we use an asymmetric symbol ":=" to denote an
asymmetric operation

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.

Joel Rauber
Joel_Rauber@sdstate.edu