🏠
Unicode Mathematical Operators
∎
U+220E
0x220E
END OF PROOF
end of proof
page:272