[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Binary Relations, draft 1
- To: email@example.com
- Subject: Re: Binary Relations, draft 1
- From: Hans Aberg <firstname.lastname@example.org>
- Date: Tue, 17 Nov 1998 16:58:52 +0100
- Content-Length: 780
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.
* Email: Hans Aberg <mailto:email@example.com>
* Home Page: <http://www.matematik.su.se/~haberg/>
* AMS member listing: <http://www.ams.org/cml/>