What does the MMIX symbol mean?

Top