{"result":{"text":"open vertical bar A close vertical bar equals lambda open vertical bar B close vertical bar"},"status":"ok"}