f' represents the derivative of a function f of one argument. Derivative[n_1, n_2, ...][f] is the general form, representing a function obtained from f by differentiating n_1 ...

x/y or Divide[x, y] is equivalent to x y^-1.

Element[x, dom] or x \[Element] dom asserts that x is an element of the domain dom. Element[{x_1, x_2, ...}, dom] asserts that all the x_i are elements of dom. Element[patt, ...

Flat is an attribute that can be assigned to a symbol f to indicate that all expressions involving nested functions f should be flattened out. This property is accounted for ...

FromDigits[list] constructs an integer from the list of its decimal digits. FromDigits[list, b] takes the digits to be given in base b. FromDigits["string"] constructs an ...

If[condition, t, f] gives t if condition evaluates to True, and f if it evaluates to False. If[condition, t, f, u] gives u if condition evaluates to neither True nor False.

Implies[p, q] represents the logical implication p \[DoubleRightArrow] q.

Install["name"] starts a MathLink-compatible external program and installs Mathematica definitions to call functions in it.

IntegerExponent[n, b] gives the highest power of b that divides n.

KroneckerDelta[n_1, n_2, ...] gives the Kronecker delta \[Delta] Subscript[n, 1] Subscript[n, 2] ..., equal to 1 if all the n_i are equal, and 0 otherwise.