- #: Number (e.g., real # = real number).
- A/C: Assume/conclude. Also, a boxed A means
assume, and a boxed C means conclude.
- ABC: Assume By way of Contradiction
- DF: Doesn't follow
- fn: function
- gp: group
- s.t.: such that
- TFAE: The following are equivalent
- w.r.t.: with respect to
- WTS: (We) Want to show