I noticed that some of the more frequently used MO tags are formatted according to a certain pattern, e.g.:
- nt.number-theory
- pr.probability
- lo.logic
- fa.functional-analysis
Why are the tags formatted like this? Are they shortcuts for user convenience?