Fuente TeX:
\text{copia(ab,n)} \in L_4