TeX source:
(s\in A)\wedge (s\in B)