The text replacements I mention below work by setting in the editor, or globally as is possible on Macs, strings that are replaced dynamically when typed.

For example, to get a ⇐ b, a ≤ b, I have set it to type a <= b, a =< b, but one could choose something different if there are conflicts.


> On 24 Apr 2025, at 17:56, Jeremy Rifkin via Std-Proposals <std-proposals_at_[hidden]> wrote:
>
> It might help readability, but how do I type it
>
> Jeremy
>
> On Thu, Apr 24, 2025 at 10:40 Hans Åberg via Std-Proposals <std-proposals_at_[hidden]> wrote:
> The use of Unicode characters helps the readability of formulas greatly in text-only format. I use text replacements for that.