END OF PROOF

∎

This unicode character belongs to the Mathematical Operators Unicode Block.

Decimal value8718
CodepointU+220e
UTF-8 bytes (dec)226 136 142
UTF-8 bytes (hex)e2 88 8e
HTML entity∎
CategorySm
Class0