Fuente TeX:

\Phi(\overline{g}) = \Phi(\overline{g'}) \Longrightarrow \overline{g} = \overline{g'}