Encodings for Unicode Character 'HORIZONTAL LINE WITH THREE TICK MARKS' (U+1CE12)