Eqn notes

This is a good reference.

define ‘∈’

define in `\[mo]`

define ‘∀’ as a function and use it (the ~ are spaces)

define all '\[fa] $1,~~$2`
all(x, y)

define binomial notation (n choose r)

define binom `{left ( pile {$1 above $2} right )}`
binom(n, 2)

define set notation (e.g. set of numbers greater than 2)

define setof `bold roman size +2 "{" $1 ~~|~~ $2 bold roman size +2 "}"`
define integers `\[u2124]`
setof({n in integers}, {n > 2})

define a delimiter for inline eqn (between dollar signs)

delim $$

left justify equations

.EQ L
.EN

indent equations

.EQ L
.EN

align equations

.EQ
y mark = (x+2)(x-2)
.EN

.EQ
lineup = x sup 2 - 4
.EN