CODEWITHSUNDEEP
unicode
asmeurer
asmeurer

Reputation: 91620

Unicode character that lines up with ⎮ but is as long as ⎢

Sorry if this isn't the right overflow for this question. I need a unicode character that is as long as ⎢ (23A2, LEFT SQUARE BRACKET EXTENSION) but lines up horizontally with ⎮ (23AE, INTEGRAL EXTENSION). Is there such a character?

Upvotes: 1

Views: 443

Answers (2)

shapecatcher
shapecatcher

Reputation: 937

Take a look at shapecatcher. If you draw a straight line, it shows plenty of different codepoints resembling |.

As already pointed out, exact placement and size may depend on the font, but if you know that the font is going to be a specific one (because you supply it), you could still find the character you're looking for.

Upvotes: 4

asmeurer
asmeurer

Reputation: 91620

It turns out this does depend on the font. If I use DejaVu Sans Mono, INTEGRAL EXTENSION is as long as I want it to be. This font appears to be almost exactly the same as the font I was using, Menlo, except for some small differences with some characters (including this one).

Upvotes: 1

Related Questions