What is Mario’s middle name?

What is Mario’s middle name? During Japan’s 30th anniversary Super Mario Bros. event this past weekend, Shigeru Miyamoto apparently stated that Mario’s full name is “Mario Mario”. As for Luigi, he’s “Luigi Mario”.

During Japan’s 30th anniversary Super Mario Bros. event this past weekend, Shigeru Miyamoto apparently stated that Mario’s full name is “Mario Mario”. As for Luigi, he’s “Luigi Mario”.
See also  Marvel's Spider-Man 2 will have "very little downtime" when fast travelling