Back to polls Back Poll Richard Harnisch February 25 Do you use QED or the Halmos square □ to denote the end of a proof? QED Halmos square □ 1 like