{"result":{"text":"p rightwards arrow q"},"status":"ok"}