TeX source:

\Phi(B^{12}) = 1-\Phi_1B^{12}