TeX source:
\mathcal{L}_{\text {prg-real with }}