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