Glyph request: `_|`, `|_`

[jim-ec]

I'm writing a Geometric Algebra calculator app. A common operation there is called the left contraction and is written as $\rfloor$ (Unicode: Right Floor ⌋).

I'm wondering if you could define a ligature _| (underscore - pipe) which would look similar to the ligature for -| but with the horizontal bar pushed down to the bottom. That way I could use it as said operator and it would be still generic enough to be used in other places as well.

The same would hold for |_, which would look similar to |-.

[tonsky]

I’ll have to think about it. Sounds like a very rare use-case, esp. given that we probably have unicode chars for those

[cormullion]

Unicode says:

0230a ⌊ left floor
0230b ⌋ right floor

[jim-ec]

I'd imagine the glyphs to have a longer horizontal tail than the flooring Unicode characters. _| would be more like the box-drawing character U+2518 ┘ Box Drawings Light Up and Left but not centered.

I actually could not find any Unicode character which exactly matches this description.

[cormullion]

These glyphs in existing fonts vary a bit in tail-length, perhaps you can choose a model:

Or, how about the dentistry symbols?

023bf⎿ dentistry symbol light vertical and bottom right
023cc ⏌dentistry symbol light vertical and bottom left