Fuente TeX:
x \notin FV(\alpha)