DavisDistribution[b, n, \[Mu]] represents a Davis distribution with scale parameter b, shape parameter n, and location parameter \[Mu].
DiscreteIndicator[x, x_1, {u_1, u_2, ...}] yields the discrete indicator function, equal to 1 if x = x_1 and 0 if x = u_i for any i.
FileNameJoin[{"name_1", "name_2", ...}] joins the name_i together into a file name suitable for your current operating system.
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.
Greater
(Built-in Mathematica Symbol) 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.
IntegerQ[expr] gives True if expr is an integer, and False otherwise.
IrreduciblePolynomialQ[poly] tests whether poly is an irreducible polynomial over the rationals.IrreduciblePolynomialQ[poly, Modulus -> p] tests whether poly is irreducible ...
Labeled
(Built-in Mathematica Symbol) Labeled[expr, lbl] displays expr labeled with lbl. Labeled[expr, lbl, pos] places lbl at a position specified by pos. Labeled[expr, {lbl_1, lbl_2, ...}, {pos_1, ...}] places ...
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.
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.