I want to write this as an equivalence classes, but \bar pushes the bar too far to the side and \overline extends it to the negative sign which is too far. How
formatting - how to raise superscript inside overline? - TeX - LaTeX Stack Exchange
How to use superscript(power) in LaTeX?
Everything You Forget About LaTeX: \bar vs. \overline
math mode - Can I get a \widebar without using the mathabx package? - TeX - LaTeX Stack Exchange
math mode - overline over no text - TeX - LaTeX Stack Exchange