Unicode Mathematical Operators

U+220E

0x220E

END OF PROOF

end of proof

page:272