Ceiling[x] gives the smallest integer greater than or equal to x. Ceiling[x, a] gives the smallest multiple of a greater than or equal to x.

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.

lhs = rhs evaluates rhs and assigns the result to be the value of lhs. From then on, lhs is replaced by rhs whenever it appears. {l_1, l_2, ...} = {r_1, r_2, ...} evaluates ...

x >= y or x >= y yields True if x is determined to be greater than or equal to y. x_1 >= x_2 >= x_3 yields True if the x_i form a non-increasing sequence.

x > y yields True if x is determined to be greater than y. x_1 > x_2 > x_3 yields True if the x_i form a strictly decreasing sequence.

x <= y or x <= y yields True if x is determined to be less than or equal to y. x_1 <= x_2 <= x_3 yields True if the x TraditionalForm\`i form a nondecreasing sequence.

The single function Manipulate gives immediate access to a huge range of powerful interactive capabilities. For any expression with symbolic parameters, Manipulate ...

BooleanConvert[expr] converts the Boolean expression expr to disjunctive normal form.BooleanConvert[expr, form] converts the Boolean expression expr to the specified ...

 

Mathematica's symbolic architecture immediately defines a serializable representation for any Mathematica data or program—which can then readily be stored in a file.