Comment 3 for bug 898410

Florian: to mirror adoa's comments; U+2227 (∧) points upwards, and U+2228 (∨) points downwards. In your example at the start of the bug report, they are (incorrectly) swapped. The error is probably occuring at some time earlier. How did you enter them? Did you use the "Ctrl-Shift-u 2 2 2 7 enter" method, or from eg. copying and pasting from another piece of software.

(Ubuntu Mono does not—yet—including logical AND and OR codepoints as of v0.80, so it's probably invalid for the Ubuntu Font Family, but I'm still interested in where the error might be coming from).