EDIT Finite partial function in Z Notation.
 
ADD NEWSIMILAR CHARACTERS
 < CHARACTER >  BLOCK PROPERTIES
U+21FB RIGHTWARDS ARROW WITH DOUBLE VERTICAL STROKE
DEUTSCH : ENGLISH