Fuente TeX:
\text{mi\_elemento\_previo} \in \text{mi\_conjunto\_inductivo}