Adding a new crossref type for a user-defined enviro...

((∑[T𝒰]∏A∈T]A≃1
自訂 label 跟 cross reference 的名字真是深奧. 原來名字跟計數器兩個是相對獨立的元件