TeX source:
\{p,q\}\vdash (p\land q)