A description of arrow notation.
arrow_notation
A vector of notational symbols that provides an arrow separator ("a -> b") between prefix and suffix.