Fuente TeX:
x \notin FV(\beta)