3
votes
2answers
1k views

Easy way to type more kinds of arrows?

There is \rightrightarrows to produce two parallel arrows, \longrightarrow to produce a longer arrow and \xrightarrow to produce an extendable arrow. But is there an easy way to produce two long ...