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