{"result":{"text":"tilde open parentheses p rightwards arrow q close parentheses identical to open parentheses p logical or tilde q close parentheses"},"status":"ok"}