i.e. given an instance \inst, we want \inst! (or something like it) to produce e.g. \mathstruct{\inst{universe},\inst{op},...} directly.
This should also
a) skip all fields corresponding to axioms/theorems
b) be customizable with respect to which fields are shown (e.g. only universe and op for a group, if the unit and inverse operation are clear anyway)
c) ... maybe be distinct from the instances notation? Occasionally one still wants to refer to the instance as e.g. \mathcal G instead of the list of all fields...
i.e. given an instance
\inst, we want\inst!(or something like it) to produce e.g.\mathstruct{\inst{universe},\inst{op},...}directly. This should also a) skip all fields corresponding to axioms/theorems b) be customizable with respect to which fields are shown (e.g. onlyuniverseandopfor a group, if the unit and inverse operation are clear anyway) c) ... maybe be distinct from the instances notation? Occasionally one still wants to refer to the instance as e.g.\mathcal Ginstead of the list of all fields...