TraceDepth is an option for Trace and related functions which specifies the maximum nesting of evaluation chains that are to be included.
[BerntEspGenz91] Berntsen, J., T. O. Espelid, and A. Genz. "An Adaptive Algorithm for the Approximate Calculation of Multiple Integrals." ACM Trans. Math. Softw. 17, no. 4 ...
Conjunction[expr, {a_1, a_2, ...}] gives the conjunction of expr over all choices of the Boolean variables a_i.
Apart
(Built-in Mathematica Symbol) Apart[expr] rewrites a rational expression as a sum of terms with minimal denominators. Apart[expr, var] treats all variables other than var as constants.
ApartSquareFree[expr] rewrites a rational expression as a sum of terms whose denominators are powers of square-free polynomials. ApartSquareFree[expr, var] treats all ...
BitAnd
(Built-in Mathematica Symbol) BitAnd[n_1, n_2, ...] gives the bitwise AND of the integers n_i.
BitXor
(Built-in Mathematica Symbol) BitXor[n_1, n_2, ...] gives the bitwise XOR of the integers n_i.
Discriminant[poly, var] computes the discriminant of the polynomial poly with respect to the variable var.Discriminant[poly, var, Modulus -> p] computes the discriminant ...
Equivalent[e_1, e_2, ...] represents the logical equivalence e_1 \[DoubleLeftRightArrow] e_2 \[DoubleLeftRightArrow] ..., giving True when all of the e_i are the same.
Implies
(Built-in Mathematica Symbol) Implies[p, q] represents the logical implication p \[DoubleRightArrow] q.