Glyph request: ∘ (U+2218)

[glatavento]

which is used to represent function composition in agda.

[tonsky]

Is this enough for agda or does it require a lot of other symbols too?

[glatavento]

Is this enough for agda or does it require a lot of other symbols too?

A lot, I am afraid. Agda uses almost every math symbols. To give you an idea of the scale, I ran the command rg -oNI "[^\x00-\x7F]" | sort | uniq -c | sort -nr on Agda's standard library and here is the result. The Mononoki font (https://madmalik.github.io/mononoki/) includes the most frequently used symbols.

While Agda uses such a wide variety of symbols, ∘ is one that's also used in other languages or texts and cannot be easily replaced with other symbols. For example, ⤚ can be replaced by >-, but ∘ is not as easily replaceable.

(I'm a newbie in agda so what I say may be inaccurate or incorrect; Thanks a lot for creating this font, I've been using it for years)

[tonsky]

Ok thanks! Let’s start small