ParentFull threadMadeThisToReply·So why didn't they skip "Mu", which as others have pointed out is a far more common name than Xi?Everyone knows the real reason they skipped Xi, you're not fooling anybody.View on HN