Support \blacksquare and make \qedsymbol consistently horrid #74