Fuente TeX:

{ }_A(S+T)^*_B=\overline{{ }_B(S+T)^t_A}=\overline{{ }_B(S^t)_A}+\overline{{ }_B(T^t)_A}={ }_A(S^*)_B+{ }_A(T^*)_B