About "pow" vs. "exp": The table in the "convention" lists /some commonly used/ abbreviations.
Shall we try to make it as exhaustive as possible so that it becomes a /reference/, which can be used when one wants to find an existing theorem, or name a new one? We could list there "pow" for power, "exp" for exponential, and "itg" for integral. Same for "ico", "ioc", "icc", "ixx", etc. which Jon has encountered recently. On one hand I understand we might want to keep the table on that page small and readable for those who want to get a high level view and a generic understanding about how theorems are named, but on the other hand I think an exhaustive reference would also have its use. So shall there be two tables? What are your thoughts? -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/b2345a79-266b-24a8-1d44-942a0603dfff%40gmx.net.
