TeX source:
A_{2}=\neg A