Latex-code, ka obs stimmt.....



\forall x: (\exists !y: M(y) \rightarrow Mu(y,x))