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