Closed Myriad-Dreamin closed 1 year ago
Oh, I didn't know this. Thanks for pointing it out!
@Myriad-Dreamin would you mind leaving me an email (such as a GitHub-provided no-reply
email) for creating co-authored commits?
It would be better if you create a PR into the main
branch for this issue. Just need to replace the
[@noidea]
with
cell($\u{2250}$, [`\u{2250}` @tricky])
in Section Other Symbols.
According to symbl, a good symbol
≐
introduced by unicode early is U+2250, which named "Approaches the Limit".So you can try:
According to unimath, they also use U+2250 as
\doteq