https://www.52unicode.com/end-of-proof-unicode