Nitai Sasson wrote: > That said, I see the Discourse implementation as a markup feature. In > that interpretation, when users type "-->" they literally mean an > arrow character should be inserted.
But specifically a left-to-right arrow, such as U+2192 as currently defined, correct? If they had intended a right-to-left arrow (such as U+2190) because the surrounding text is RTL, they would have typed “<--”, correct? > Of major relevance is this document, whose status I don't yet fully > understand: > https://www.unicode.org/L2/L2022/22026r-non-bidi-mirroring.pdf > > It defines mirrors for non-mirroring characters (like arrows) in a new > file called ExtraMirroring.txt. I don't see any reason why this data > couldn't be appended to BidiMirroring.txt instead. The new properties file proposed by 22-026 has not been adopted into the standard. The last mention of this proposal that I could find was in the UTC #172 minutes, where there was an action item to hold a private discussion with the proposer. So perhaps it is of some relevance for brainstorming. -- Doug Ewell, CC, ALB | Lakewood, CO, US | ewellic.org
