Back to polls Back Poll Richard Harnisch 10 hours ago Do you use QED or the Halmos square □ to denote the end of a proof? QED Halmos square □ 0 likes