{"result":{"text":"r with rightwards arrow on top equals a with rightwards arrow on top plus lambda b with rightwards arrow on top"},"status":"ok"}