[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Binary Relations, draft 1
- 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.