Why are we using unicode identifiers in these constants?