Provide a TeX notation for the “cardinality less than” symbol.
Make saved theorem name and name used in script file the same.

In this case, cardlt_lenoteq, the name from the script file is much
better than what was exported (cardlt_iso_REFL).