User blog:KamafaDelgato021469/My extension to chained arrow notation

This allows more than one chained arrow between each argument.

Definition
Same as chained arrow notation, but it allows multiple arrows between each argument. Here are a few examples:


 * $$\(a \rightarrow\rightarrow b = \underbrace{a \rightarrow a \rightarrow \ldots \rightarrow a \rightarrow a}_b\)$$
 * $$\(a \rightarrow\rightarrow b \rightarrow c = (a \rightarrow\rightarrow b) \rightarrow c\)$$
 * $$\(a \rightarrow\rightarrow b \rightarrow\rightarrow c = (a \rightarrow\rightarrow b) \rightarrow\rightarrow c\)$$
 * $$\(a \rightarrow\rightarrow\rightarrow b = \underbrace{a \rightarrow\rightarrow a \rightarrow\rightarrow \ldots \rightarrow\rightarrow a \rightarrow\rightarrow a}_b\)$$

Four arrows, etc. should be easy to extrapolate.