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