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