Closed jmcwilliams403 closed 1 year ago
(off topic - @jmcwilliams403 Not sure why you're seeing U+FFFD for JuliaMono here: 🤔
What app are you using to generate your samples?
Is Noto Sans Math monospaced/programming on your system?
)
I saw the glyph in JuliaMono didn't match the others and mistakenly thought "yeah this is probably using fallback" and then pasted in a placeholder instead, even though mismatching unicode glyphs is characteristic for Julia and I should have known better.
Noto Sans Math isn't programming but it's an example of a font where all three are present and match each other so I showed it first as an example. Plus, Noto Sans Mono exists, so it's the closest thing to that.
These arrows are used for denoting execution of a partially defined function. They may also be used in languages like Swift which allow overloading arbitrary Unicode math operators.
A⇴B
,A⬰B
,A⥈B
Noto Sans Math:
Deja Vu Sans Mono:
Julia Mono:
Everson Mono:
Fairfax HD: