NOTE: the top three symbols are from Unicode. They're
   mathematical symbols. I only made up the symbols for sifferent.