Fuente TeX:

2. (\alpha, \varphi) \in SUBF \implies (\alpha, (\neg\varphi) ) \in SUBF