2 ms·It's a box drawing character (U+2502) rather than a pipe. Pipes are typically drawn with fairly large gaps.by arp242 2y agoIt's a box drawing character (U+2502) rather than a pipe. Pipes are typically drawn with fairly large gaps.