Comment Comment by ale42 some fancy Unicode (small-caps letters... see https://en.wikipedia.org/wiki/Small_caps#Unicode). Not sure why the author used them, though. parent ale42 3 years ago