TeX source:
\delta :S\times \Sigma \rightarrow S