EDIT Total function in Z Notation and B-Method.
 
ADD NEWSIMILAR CHARACTERS
 < CHARACTER >  BLOCK PROPERTIES
U+2192 RIGHTWARDS ARROW
DEUTSCH : ENGLISH