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