RIGHTWARDS ARROW ABOVE TILDE OPERATOR