Fuente TeX:
\lbrace \lor, \neg \rbrace\ (\ast)