<div dir="ltr"><div><div><div><div><div>Hi Joe,<br><br></div>It looks like you are encoding theorem names via some (undocumented) scheme that wraps the theorem as:<br></div><br>  |- (\name_of_thm. name_of_thm) conclusion_of_thm<br><br></div><div>Is
 this going to become a standard format in which to encode theorem 
names, that other article readers should expect? (I presume not!)<br><br></div>When we last discussed theorem names, (<a href="http://www.gilith.com/opentheory/mailing-list/2014-November/000438.html" target="_blank">http://www.gilith.com/opentheory/mailing-list/2014-November/000438.html</a> and the ensuing discussion), the plan was to standardise on theorem metadata. Has there been any progress on this front?<br><br></div>Cheers,<br></div>Ramana</div>