impl. textext(), TEX()