Tag Archives: Terminal

PragmataPro 0.824 more ligatures and compatibility

all weights: Ligatures are now Contextual Alternates OpenType features to obtain more compatibility with the most part of Text Editors

all weights: added these important ligatures for Scala programming:
## ++= -+- -\/ \/- <~< <==> =/= ??? |-> |--> |=> |==>

all weights: improved the design of these ligatures:
<!-- <-- -->

all weights: added ligatures to emphasize important message in command line
[INFO] [WARNING] [FATAL] [ERROR] [TRACE] [DEBUG] [WARN] [ERR]
(thanks to Kim Silkebækken for this cool idea!)

Regular: improved the hinting of numerous glyphs like x, s, twosuperior, threesuperior, questiondown

Regular: improved the design of some math operators
emptyset, intersection, union, multiset, multisetmultiplication, multisetunion, plus.circled, minus.circled, multiply.circled, fraction.circled, operator.circled, ringoperator.circled, asteriskoperator.circled, equals.circled, dash.circled, squaredplus, squaredminus, squaredtimes, squareddotoperator, logicalnotReversed, turnedNotSign, blackDiamond, whiteDiamond, blackDiamond, whiteDiamond, supersetBesideSubset, supersetBesideAndJoinedByDashWithSubset, doubleStrokeNotSign, reversedDoubleStrokeNotSign, logicalnot
(thanks to Miëtek Bak for the important support!)

Please visit PragmataPro page for more infos

 
Updating…
  • No products in the cart.

Privacy Preference Center

Strictly necessary

These cookies are necessary for the site to function

__stripe_mid, wordpress_test_cookie, PHPSESSID, wordpress_sec_{hash}, wordpress_logged_in_{hash}, wfwaf-authcookie-{hash}, gdpr[allowed_cookies], gdpr[consent_types], wp-settings-1, wp-settings-time-1, wp-saving-post, woocommerce_items_in_cart, woocommerce_cart_hash, wp_woocommerce_session_{hash}

Close your account?

Your account will be closed and all data will be permanently deleted and cannot be recovered. Are you sure?