PragmataPro really is a beautiful font. At first I was concerned that the larger line-height was a poor tradeoff for the decreased width, but it's so much more readable at lower sizes than e.g. DejaVu (my prior font of choice) that I've actually gained rows on my screen without sacrificing readability.
My only remaining concern is that the hypen isn't vertically centered with many of the other symbols, making -= and -> look awkward.
The hyphen problem is fixed in the most recent version!
CHANGES FROM 0.8 TO 0.81
edited by Fabrizio Schiavi 2012-06
* dashrockets
->
<-
<=
=========> 0%
>=
+=
-=
*=
+--------+--------+--------+
are horizontally aligned
* | ¦ "bar" and "brokenbar" are now designed to be overlapped between two lines of text
| ¦ (useful for iTerm2, tmux 1.6., Terminal.app and others)
* horizontal strokes of the letter Nun (U+05E0) is a bit shorter,
to help make it more distinct from Kaph (U+05DB)
* Italic weight is TrueType handhinted
* Bold Italic weight is TrueType handhinted
* added an entire Unicode block:
2100-214F Letterlike Symbols to the Regular weight
* added these letters from the block
1D400-1D7FF Mathematical Alphanumeric Symbols
to the Regular weight:
Amathdoublestruck, Bmathdoublestruck, Dmathdoublestruck,
Emathdoublestruck, Fmathdoublestruck, Gmathdoublestruck,
Imathdoublestruck, Jmathdoublestruck, Kmathdoublestruck,
Lmathdoublestruck, Mmathdoublestruck, Omathdoublestruck,
bmathdoublestruck, dmathdoublestruck, emathdoublestruck,
imathdoublestruck, jmathdoublestruck, Bmathboldfraktur,
Cmathboldfraktur, Dmathboldfraktur, Emathboldfraktur, Fmathboldfraktur,
Gmathboldfraktur, Hmathboldfraktur, Imathboldfraktur
http://www.fsd.it/fonts/pragmatapro.htm
Some sample screenshots from OS X:
http://i.imgur.com/oxhSg.png (white background)
http://i.imgur.com/M0ZJz.png (black background)