{"result":{"text":"tilde p rightwards arrow tilde open parentheses q logical and r close parentheses"},"status":"ok"}