Unicode Mathematical Operators

⋞

U+22DE

0x22DE

EQUAL TO OR PRECEDES

equal to or precedes