[DejaVu-bugs] [Bug 28062] Up tack (U+22A5) ( ⊥ ) is too wide and covers the following symbol

bugzilla-daemon at freedesktop.org bugzilla-daemon at freedesktop.org
Thu Jul 22 15:08:55 PDT 2010


--- Comment #4 from Jonathan Protzenko <jonathan.protzenko+fdo at gmail.com> 2010-07-22 15:08:54 PDT ---
Thanks a lot for the quick feedback and the nice addition to the mono font!
(Actually it's quite useful, because I'm heavily promoting unicode in my
terminal output, and my program does output logical formulae, which often use
this symbol for the "bottom" element in a lattice). Anyway, what I'm saying is,
that's great =).

Configure bugmail: https://bugs.freedesktop.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.

More information about the DejaVu-bugs mailing list