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