Encodings for Unicode Character 'EQUAL TO OR PRECEDES' (U+22DE)