Conversation

I recently updated my PragmataPro, and now many characters are wider than before! In particular ∀ and →.. (cont.)

Replying to

I think the old glyphs were better, but the worst is that ∃ and ∀ really _must_ be the same width.. logic looks uglier now

Replying to

Also, the Agda standard library assumes that ∀ is only the width of a regular character.

Replying to

a programmer asked me to make a big ∀ and I thought can be better for all. Thank you for your feedback. I'll fix it surely

Replying to

Sorry if I sounded grumpy. I really appreciate your work on PragmataPro!