https://codetofun.com/html/entity/end-of-proof/