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

Re: Binary Relations, draft 1

On the binary relation "134 225D eqdef" symbol (an "=" with the word "def"

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
    :=   defined by
    =:   defines
    :=:  implicit definition

For example,
    x := a + 1  is pronounced "x is defined by a + 1"
    a + 1 =: x  is pronounced "a + 1 defines x"
and writing  f(x) + 1 :=: a  means that some quantity in the equation is
implicitly defined by this equation.

The reason is that the symbol "134 225D eqdef" symbol is symmetric, but the
definition is not logically symmetric.

So this is what I decided to use. I have not seen anybody else using it,
but I know that some other mathematicians are prefer an asymmetric
definition symbol. They then use the plain ":=" without any "def" above it.
However, this confuses this symbol with another common meaning, namely
"assignment" in some computer languages.

  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/>