Fuente TeX:
\text{mi\_caso\_inductivo\_1} \in \text{mi\_conjunto\_inductivo}