An expression with something over it.
The first argument is True if the formula is
"convertible:" that is, if the material over the
formula should appear as a regular superscript in
inline math. The second argument is the base,
the third the expression that goes over it.