Fuente TeX:
x' \notin FV(x)