User:Vel!/pu/extensible arrows

This is an extension to Arrow Notation.