"The leprechaun, of course ... is no comparison between Notre Dame's nickname and mascot and the Indian and warrior names (and) mascots used by other institutions such as the NFL team formerly ...

The Leprechaun first became the school’s mascot ... between Notre Dame’s nickname and mascot and the Indian and warrior names (and) mascots used by other institutions such as the NFL team ...