fall back to system fonts for missing characters, like math characters

[odanoburu]

I know quad is not supposed to replace latex, but I do need some math characters for code sometimes :P

excl-middl→¬¬-elim : ∀ {A : Set} → A ⊎ ¬ A → (¬ ¬ A → A)
excl-middl→¬¬-elim (inj₁ a) = λ ¬¬a → a
excl-middl→¬¬-elim (inj₂ ¬a) = λ ¬¬a → ⊥-elim (¬¬a ¬a)

rendered as

ps: drracket seems to handle both emoji and math, but I imagine they have that taken care of by some underlying library..

[mbutterick]

I don’t want to rely on system fonts because they’re not portable. Is there another option for math coverage? Maybe the STIX fonts?

[mbutterick]

I used the Noto Math font.