Conversation

This is a good day.

had updated his #PragmataPro font to version 0.829. ;-)

May 15, 2021

Fabrizio, can you please check the downloadable files for version 0.829? It appears that "PragmataPro Mono Bold Italic" incorrectly installs as "PragmataPro Mono Liga Bold Italic". Thanks!

Replying to

Thank you Torsten to letting me know it! I just fixed the issue. Thank you again!

Replying to

Perfect, thanks Fabrizio. Works fine now. Enjoy the weekend!

Replying to

Thanks likewise!

Replying to

Fabrizio, did 0.829 go back to the old — inconsistent, I'd say — design of operators "in"/"not in"? Puzzled right now...

Replying to

I'm sorry Torsten, I just follow this request:

github.com

∈ (U+2208, element of) and ∉ (U+2209, not an element of) don't match · Issue #192 · fabrizioschia...

In PragmataPro ∉ (U+2209, not an element of) is the same style and size as ∊ (U+220A, small element of).

Replying to

Ugh, I don't know if you still remember but you had fixed the "in"/"not in" issue before... I have to be quite honest, 0.829 is somewhat of a disappointment and step backwards for me. (I don't like the changes to l and {} either.) I'll stick with 0.828, I guess.

Fabrizio Schiavi

@fabrizioschiavi

Replying to

@Teggy

from unicode.org

10:52 AM · May 18, 2021Twitter Web App