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