U+220E END OF PROOF