On Wed, 13 Feb 2008, Gerwin Klein wrote:
> What does work is replacing it by "\\<^const>Product_Type.Unity", but
> that feels very ad-hoc to me (I'm not sure where the \<^const> comes
> from), so I haven't committed it yet.
The SML antiquotation @{const_syntax Unity} should do the trick.
Makarius