TeX source:

S \rightarrow C: m', H(x \circ m') = h