[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Binary Relations, draft 1



At 15:10 +0100 1998/11/17, Thierry Bouche wrote:
>isn't "def" redundant with ":" ?
>
>People use often ":=" for "equal, by definition", hence no need for a
>small "def" above.

That is what I said. But in computers it means "assignment", which is a
computer operation distinct from a logical definition. So if you want to
use definitions and assignments in the same paper, then one needs both.

In addition, some may feel that ":=" looks to much of a computer symbol, so
they may want something else even if one is not using the two symbols in
the same paper.

  Hans Aberg
                  * Email: Hans Aberg <mailto:haberg@member.ams.org>
                  * Home Page: <http://www.matematik.su.se/~haberg/>
                  * AMS member listing: <http://www.ams.org/cml/>