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