Within a standard interactive session, you can create "subsessions" or dialogs using the Mathematica command Dialog. Dialogs are often useful if you want to interact with ...
Conjunction[expr, {a_1, a_2, ...}] gives the conjunction of expr over all choices of the Boolean variables a_i.
ArcCot
(Built-in Mathematica Symbol) ArcCot[z] gives the arc cotangent cot -1 (z) of the complex number z.
Implies
(Built-in Mathematica Symbol) Implies[p, q] represents the logical implication p \[DoubleRightArrow] q.
InverseErfc[s] gives the inverse complementary error function obtained as the solution for z in s = erfc(z).
Reals
(Built-in Mathematica Symbol) Reals represents the domain of real numbers, as in x \[Element] Reals.
DSolve can find solutions for most of the standard linear second-order ODEs that occur in applied mathematics. Here is the solution for Airy's equation. Here is a plot that ...
CharacteristicFunction[dist, t] gives the characteristic function for the symbolic distribution dist as a function of the variable t.CharacteristicFunction[dist, {t_1, t_2, ...
n! gives the factorial of n.
FisherHypergeometricDistribution[n, n_succ, n_tot, w] represents a Fisher noncentral hypergeometric distribution.