Fuente TeX:
x \notin FV(\varphi) \Longrightarrow x \in BV(\varphi)