Poll

Photo of Richard Harnisch

Do you use QED or the Halmos square □ to denote the end of a proof?