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