See https://github.com/hpcugent/easybuild/wiki/Encode-class-names .

We use the unicode 'names' for the characters, `minus` fits a lot better with `plus`, see also http://www.unicode.org/charts/PDF/U0000.pdf .