That doesn’t explain why Unicode seems to have 27 (!) different “sigma” code points, though (https://en.wikipedia.org/wiki/Sigma#Character_encoding)