<div dir="ltr"><div><div>Hi all,<br><br></div>I have a nitpicking question about the "thm" command for OpenTheory articles. If the list of terms (t1,...,tn) contains two alpha-equivalent but syntactically distinct terms, which one of them should be chosen as the representative in the resulting Thm object? Or can we assume that the list is all distinct (up to alpha) (in which case, could that be noted explicitly)?<br><br></div>Cheers,<br>Ramana<br></div>