Źródło TeX:

D:\mu(x)\Rightarrow y \quad;\quad\forall x\in X