LEFTWARDS ARROW ABOVE TILDE OPERATOR

Add a description of LEFTWARDS ARROW ABOVE TILDE OPERATOR