Well, you neither need an equivalence nor an xor of automata, since the LTL translation procedure will abbreviate the temporal operators by state formulas q0,q1,q2, so that we obtain at the end the formula q1<->q2 which will define the initial states of the automaton.
But if you want to go a more complicated way, you can, of course replace the equivalence by !,&,| and would, for instance, obtain (FFGa & FGa) | (!FFGa & !FGa) which is equivalent to (FFGa & FGa) | (GGF!a & GF!a). From here you can produce the omega automata and you now just need conjunction and disjunction.
Note that equivalence and xor can be reduced to that, so that we finally don't have to define equivalence and xor on the automata. Since these operations have negative occurrences, they are not that easy to define on the automata, unless the latter are deterministic ones.
