Re: Proposing new arrow characters with Bidi_Mirrored=Yes

Me, earlier:
> I think it might be reasonable to actually mirror the original glyph if a mirror is not defined - which I think is already the case for a few Bidi_Mirrored characters, but I am having trouble verifying it right now (not familiar enough with Unicode tools to filter characters effectively).

Actually, an example was actually quoted in the message I was replying to: https://util.unicode.org/UnicodeJsps/character.jsp?a=%E2%88%B1&B1=Show

This character has Bidi_Mirrored=Yes but does not have a defined Bidi_Mirroring_Glyph	. Yet it seems to be rendered correctly in my browser - presumably using font features external to Unicode. The integral symbol is mirrored but the arrow direction remains clockwise - exactly as it should.

Again, the current state of Bidi is spectacular and it's mostly thanks to the low-level technologies like Unicode and text rendering. I urge all of you not to dismiss the issue I raised, which is the exception where low-level technologies do not provide a bidi solution.