Created attachment 35564 [details] As you can see, the uptack overlaps the comma and the right bracket My program outputs formulae and sometimes needs to display the "bottom" symbol. The closest match is ⊥, so I'm outputting this in a terminal that uses DejaVu Sans Mono. However, it looks like the symbol is not monospaced,
Mono does not have a glyph for U+22A5, the uptack you are seeing must be coming from a different font.
Yes, that's what I figured out afterwards. Any chance one can add this symbol to the mono font or is this a totally irrelevant feature request?
Done in r2401. If you wish you can test the next snapshot at http://dejavu.sf.net/snapshots/ (should show up tomorrow or the day after).
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 =).
Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.