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

Re: Binary Relations, draft 1



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.