TeX source:
\neg(s\in A)