TeX source:
\delta :S\times \Sigma \rightarrow {\mathcal {P}}(S)