These would make beautiful end of proof symbols