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