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