TeX source:
P(\neg A)