LEFTWARDS ARROW ABOVE TILDE OPERATOR