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