These are obvious abbreviations in the context. If you're working on a proof you might not want lots of 'theorem' and 'formula' to clutter up your screen.

The programming world converged on full word variables, but it also converged on {} instead of BEGIN END etc.

Alex