Unicode Mathematical Operators

⊦

U+22A6

0x22A6

ASSERTION

assertion