TeX source:

{\displaystyle \neg A}