End of Proof

∎

UNICODE

U+0220E

HEX CODE

∎

HTML CODE

∎

HTML ENTITY

—

CSS CODE

\220E
// html example
<span>&#8718;</span>

// css example
span {
  content: "\220E";
}
∎