According to the 1987 “How to Win at Super Mario Bros.” guide, the 1-Up Mushroom’s full name is “1-Up Extra Man Mushroom”.