• #: 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