An
InterpretationBox is interpreted as the expression in its second argument:
Copying the interpretation box and using it as input also evaluates the hidden interpretation:
InterpretationBox is used in the standard formatting of
Interpretation objects:
The first argument of the
InterpretationBox gives its visible format:
The
TraditionalForm formatting for many built-in functions uses
InterpretationBox:
In the typeset result, the letter

stands for
EllipticNomeQ:
The
InterpretationBox allows this form to be used as input without losing its meaning: