FX G ⇄ X UG