Notation for Colex

Stream: mathlib4

[Violeta Hernández]

We have notation Πₗ i, f i for docs#Lex ordered pi-types. Should/could we have analogous notation for the docs#Colex order? Regrettably, the obvious option of using \_c doesn't work since Unicode for whatever reason has no subscript c.

[Weiyi Wang]

Evil idea I saw from wikipedia: Cyrillic 𞁞

[Violeta Hernández]

As fun and reckless as that'd be it doesn't even render properly on my font.

[Jovan Gerbscheid]

We have the same problem for continuous affine maps (which we want to be →ca with subscripts) :(

[Violeta Hernández]

If we do want to abuse Unicode there's also ꜀ which is apparently some sort of Chinese tone modifier.

[Jovan Gerbscheid]

That one actually renders correctly, and looks pretty close to a subscript c :smiley:

[Weiyi Wang]

꜀ is a modifier, though, meaning fonts will automatically combine it with other characters, potentially resulting in bad rendering

[Jovan Gerbscheid]

I am not able to reproduce the automatic combining