From the Super Mario Wiki, the Mario encyclopedia

Is Denki the full name of this? In the guidebook, there were a few smaller characters above the big ones, what do those mean? Doc von Schmeltwick (talk) 21:52, 22 August 2017 (CT)

I haven't seen the image you're talking about, but generally, smaller Japanese text on top of other Japanese text refers to ruby characters, which are basically annotations to show how to pronounce the larger text. Hello, I'm Time Turner. 22:59, 22 August 2017 (EDT)
That's what the citation for the name is from. I found the image somewhere, and posted it in the talk section of WL3 to get most of the Japanese names. Doc von Schmeltwick (talk) 22:04, 22 August 2017 (CT)
Yep, that definitely looks like ruby text. It's even already in the article; hover over the Japanese text and you'll see the ruby text. Hello, I'm Time Turner. 23:10, 22 August 2017 (EDT)