TeX source:
\displaystyle \mbox{ If } a=b \mbox{ then } a^2=b^2.