Comment 1 for bug 898410

Revision history for this message
adoa (adoa) wrote :

Hello Florian,

on my computer, the glyphs are definitely not swapped.

According to http://www.utf8-chartable.de/unicode-utf8-table.pl?start=8704

0x2227 should be the ‘logical and’
0x2228 should be the ‘logical or’

Just as they are displayed on my system.
You seem to have it swapped.

Are you sure that this is a problem of the font?
Can you reproduce inconsistencies with LibreOffice Writer, for example?
Do different fonts display the same text with different glyphs?
What happens if you enter
‘ctrl+shift+u’ release all keys, then ‘2227’
in LibreOffice Writer?
That should produce the utf-8 symbol 0x2227, as described here: https://en.wikipedia.org/wiki/Unicode_input#In_Linux