TeX source:
\omega :S\times \Sigma \rightarrow \Gamma