[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**:*Thierry Bouche <Thierry.Bouche@ujf-grenoble.fr>***Date**: Tue, 17 Nov 1998 15:10:25 +0100 (MET)- Content-Length: 508

Concernant « Re: Binary Relations, draft 1 », Hans Aberg écrit : « » On the binary relation "134 225D eqdef" symbol (an "=" with the word "def" » above): » » For definitions, I decided to use the colon equalities » := 016 2254 coloneq » =: 017 2255 eqcolon » :=: » all with the word "def" above (and also below). These would be pronounced isn't "def" redundant with ":" ? People use often ":=" for "equal, by definition", hence no need for a small "def" above. Thierry Bouche, Grenoble.

- 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):