Zdroj TeX:
\mathcal{K}(S, o, A \rightarrow A')