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