Universal quantifier ∀ is the wrong height

[cionx]

The universal quantifier ∀ should use cap height. Currently it uses x-height instead. This problem affects all Monaspace fonts. The existential quantifier ∃ does not seem to suffer from this problem.

[heathercran]

Thanks for letting me know! I will revise this in the next release

[cionx]

Version 1.3 seems to have changed the heights of the existential quantifier ∃ and its negation ∄ to match the height of the universal quantifier ∀.

I’d argue that all three quantifiers should have cap-height. I checked all the math fonts installed on my system, and they all handle it this way. I also didn’t find any non-Monaspace font on my system that have them at x-height.

[heathercran]

Yeah, that change was made before this issue was created. I will change these characters and any related ones to match cap height in the next release. Thanks for bringing it to my attention!