Fuente TeX:

\mathbb{Z}_{p^2} \neq \mathbb{Z}_p \bigoplus \mathbb{Z}_p