EllipticTheta[a, u, q] gives the theta function \[CurlyTheta]_a (u, q) (a = 1, ..., 4).
Equal
(Built-in Mathematica Symbol) lhs == rhs returns True if lhs and rhs are identical.
Exists
(Built-in Mathematica Symbol) Exists[x, expr] represents the statement that there exists a value of x for which expr is True. Exists[x, cond, expr] states that there exists an x satisfying the condition ...
Factor
(Built-in Mathematica Symbol) Factor[poly] factors a polynomial over the integers. Factor[poly, Modulus -> p] factors a polynomial modulo a prime p. Factor[poly, Extension -> {a_1, a_2, ...}] factors a ...
Fit
(Built-in Mathematica Symbol) Fit[data, funs, vars] finds a least-squares fit to a list of data as a linear combination of the functions funs of variables vars.
ForAll
(Built-in Mathematica Symbol) ForAll[x, expr] represents the statement that expr is True for all values of x. ForAll[x, cond, expr] states that expr is True for all x satisfying the condition cond. ...
FunctionExpand[expr] tries to expand out special and certain other functions in expr, when possible reducing compound arguments to simpler ones. FunctionExpand[expr, assum] ...
IntegerPart[x] gives the integer part of x.
JacobiSN[u, m] gives the Jacobi elliptic function sn(u | m).
Less
(Built-in Mathematica Symbol) x < y yields True if x is determined to be less than y. x_1 < x_2 < x_3 yields True if the x_i form a strictly increasing sequence.