Źródło TeX:
\lambda:Q\times\Sigma\rightarrow Y