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 57% 57% Halmos square □ 43% 43% Total votes: 7 Final result 1 like