OutputControllabilityMatrix[ss] gives the output controllability matrix of the StateSpaceModel object ss.
OverscriptBox[x, y] is the low-level box representation for OverscriptBox[x, y] in notebook expressions.
ParagraphSpacing is an option for Cell, StyleBox, and Style that specifies how much extra space to leave between successive paragraphs of text.
PathGraphQ[g] yields True if the graph g is a path and False otherwise.
Primes
(Built-in Mathematica Symbol) Primes represents the domain of prime numbers, as in x \[Element] Primes.
Range
(Built-in Mathematica Symbol) Range[i_max] generates the list {1, 2, ..., i_max}. Range[i_min, i_max] generates the list {i_min, ..., i_max}. Range[i_min, i_max, di] uses step di.
ReplaceList[expr, rules] attempts to transform the entire expression expr by applying a rule or list of rules in all possible ways, and returns a list of the results ...
RootOfUnityQ[a] yields True if a is a root of unity, and yields False otherwise.
SimpleGraph[g] gives the underlying simple graph from the graph g.
SpanFromLeft is a symbol that can appear at a particular position in a Grid or related construct to indicate that the corresponding position is occupied by a spanning element ...