{"result":{"text":"p left right double arrow q"},"status":"ok"}