Fuente TeX:

PROP_{\lbrace \lor, \neg \rbrace}