Well, we could add a + after any acronyms after they have a formal definition in TLA+. Except for TLA itself. That would need to be TLA++.