TILDE OPERATOR ABOVE RIGHTWARDS ARROW