Fuente TeX:
PROP_{\lbrace \lor, \neg \rbrace}