Adding unicode arrow >->

[hoheinzollern]

This is used in mathcomp-analysis for defining probabilities, I think it would be generally helpful to have it