ForAllRealQ[ineqs, {x_1, x_2, ...}] tests whether for all real values of the x_i the inequalities and equations ineqs are satisfied.
ImpliesRealQ[ineqs_1, ineqs_2] tests whether the inequalities and equations ineqs_1 imply the ineqs_2 for all real values of all variables.
OrderStarSymbolSize is an option to OrderStarPlot that specifies the size of the symbols used to represent poles, zeros and interpolation points.
OrderStarSymbolThickness is an option to OrderStarPlot that specifies the thickness of the outline of the symbols used to represent interpolation points, poles and zeros.
MedianMethod is an option for MultivariateMedianDeviation that specifies the multivariate median to use.
ActiveInputAliases[] returns a list of all active aliases in the current notebook. ActiveInputAliases[notebook] returns a list of all active aliases in the notebook notebook.
AddInputAlias[alias -> boxes] adds the alias Esc\[ThinSpace]alias\[ThinSpace]Esc for boxes to the aliases in the current notebook. AddInputAlias[alias -> boxes, notebook] ...
AutoLoadNotationPalette specifies whether the Notation palette is opened when the Notation Package is loaded.
InfixNotation[op, func] forces the box structure op to be treated as an infix operator representing the function func in input and output.
RemoveInfixNotation[op, func] removes the infix operator op.