第一句话应该为：定义一个函数 f(x,y)=(x∣y)−y\operatorname{f}(x,y)=(x|y)-yf(x,y)=(x∣y)−y。
$\operatorname{f}(x,y)=(x|y)-y$
