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