Comment 9 for bug 898410

Revision history for this message
Florian Lorenzen (florian-lorenzen) wrote :

gucharmap says it uses DejaVu Sans for U+2227 and U+2228.

Regards,

Florian