TeX source:

x = y → (φ → φ')