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

**To**:*math-font-discuss@cogs.susx.ac.uk***Subject**:**Re: Binary Relations, draft 1****From**:*Hans Aberg <haberg@matematik.su.se>***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. 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/>

- Prev by Date:
**Re: Binary Relations, draft 1** - Next by Date:
**Re: Binary Relations, draft 1** - Prev by thread:
**Re: Binary Relations, draft 1** - Next by thread:
**Re: Binary Relations, draft 1** - Index(es):