Fuente TeX:

P_1^{M_1} = \mathbb{N}