$\frac{x+y}{x+\mathrm{xD}+y+\mathrm{yD}}$ $\mathrm{lambda}x$ $ax$ $\mathrm{mu}x$ $\mathrm{lambda}py$ $\mathrm{mu}qy$ $\mathrm{gamma}\mathrm{xD}$ $\mathrm{gamma}\mathrm{yD}$