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
