Print Selection prints a selection.
Rerender Graphics rerenders the selected graphics.
StandardForm Display displays a selection in Mathematica StandardForm.
Text Display displays the selection as plain text without interpreting it.
BooleanConvert[expr] converts the Boolean expression expr to disjunctive normal form.BooleanConvert[expr, form] converts the Boolean expression expr to the specified ...
CellPrint[expr] inserts expr as a complete cell in the current notebook just below the cell being evaluated. CellPrint[{expr_1, expr_2, ...}] inserts a sequence of cells.
MouseAnnotation[] gives any mouse annotation associated with the expression at the current mouse position.
OutputControllableModelQ[ss] gives True if the StateSpaceModel object ss is output controllable, and False otherwise.
SatisfiableQ[bf] gives True if a combination of values of variables exists that makes the Boolean function bf yield True.SatisfiableQ[expr, {a_1, a_2, ...}] gives True if a ...
SpellingOptions -> {opt_1 -> val_1, opt_2 -> val_2, ...} is an option for notebooks that specifies settings for spell checking.