Fuente TeX:

x ='t \to \varphi[t/x]