ObservabilityMatrix[ss] gives the observability matrix of the StateSpaceModel object ss.
OptionValue[name] gives the value of name in options matched by OptionsPattern. OptionValue[f, name] gives the value of name for options associated with the head f. ...
PermutationCyclesQ[expr] returns True if expr is a permutation in disjoint cyclic form, and False otherwise.
--x decreases the value of x by 1, returning the new value of x.
++x increases the value of x by 1, returning the new value of x.
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.
SubscriptBox[x, y] is the low-level box representation for x_y in notebook expressions.
Subscript[x, y] is an object that formats as x_y. Subscript[x, y_1, y_2, ...] formats as x Subscript[y, 1], Subscript[y, 2], ....
SuperscriptBox[x, y] is the low-level box representation for x^y in notebook expressions.