Somewhat off-topic, but the unicode symbols like Greek letters are broken in google chrome. A shame... And also kind of ironic, because boxes with question marks inside certainly aren&#x27;t the best kind of notation.