Fuente TeX:

x \notin FV(\varphi)