{"result":{"text":"tilde rightwards double arrow tilde"},"status":"ok"}