Źródło TeX:

\phi(x) : X \rightarrow\ \left\{0,1\right\}