{"result":{"text":"tilde q rightwards double arrow tilde p space plus space q"},"status":"ok"}