A description of to notation.
to_notation
A vector of notational symbols that provides to ("a [to b]") notation.