User blog comment:KamafaDelgato021469/My extension to chained arrow notation/@comment-31966679-20180625022216

Cool but you could define:

\(a \rightarrow ^ {b} c = \underbrace{a \rightarrow \rightarrow \ldots \rightarrow c}_b) and:

\(a \rightarrow ^ {b} c = \underbrace{a \rightarrow ^ {b - 1} a \rightarrow ^ {b - 1} \ldots \rightarrow ^ {b - 1} a \rightarrow ^ {b - 1} a}_c\)

\(a \rightarrow ^ {1} c = a \rightarrow c\)