there are bounds to be many many operators and glyph combinations where things don't match properly. an example is the variable declaration and initialisation symbol in Go which combines colon and equal sign. if you use Myna and come across any such examples, please raise a feature request. i only focused on glyphs for languages i use personally. but if there is interest i am open to adding contextual alternates to give some alignment in cases where changing one glyph would disturb other combinations. of course you can always point out any rendering or design issues with singular glyphs too.

And some proof assistant languages and frameworks. For a second I was really excited there, but this is another font with “programming ligatures”.

surprisingly enough for me, the exact same point was raised by others too. meanwhile, i was totally unaware that many would find it hard to read it as i never ever had any difficulty telling them apart even with the (admittedly baroque) design of the braces. if that is the only feature stopping you from trying this, please make a feature request. maybe i could issue a "disambiguous braces" variant.