Source TeX:

\varepsilon = \overline{A'_RA'_B}