EDIT Total surjection in Z Notation and B-Method.
 
ADD NEWSIMILAR CHARACTERS
 < CHARACTER >  BLOCK PROPERTIES
U+21A0 RIGHTWARDS TWO HEADED ARROW
DEUTSCH : ENGLISH