A description of bracket arrow notation.
bracket_arrow_notation
A vector of notational symbols that provides bracket arrow ("a [-> b]") notation.