TeX source:

\operatorname{Enc}_{k}\left(m_{1}\right) \circ \operatorname{Enc}_{k}\left(m_{2}\right)=\operatorname{Enc}_{k}\left(m_{1} \times m_{2}\right)