Encodings for Unicode Character 'LOWER HALF VERTICAL LINE WITH THREE TICK MARKS' (U+1CE13)