Has an in-game nickname ティオすけ (tiosuke) given her by Randolph Orlando and adopted by fans. Translated as Tio Tot.
ティオすけ is a pun on combining ティオ + ちび助. ちび助 (chibisuke, usually written using kana alone) literally means young child, pipsqueak. So meaning of this nickname can be understood as tiny/little Tio.
Tio Tot translation was first introduced by Geofront fan-translation team in Zero no Kiseki. Later in Sen no Kiseki III it was adopted as an official translation.
There is also exists Petiote variant of translating this nickname, it was found in Guren's fan-translation of Zero and Ao no Kiseki. Petiote is a french slang name for little girl, which is also works as a pun on petite + Tio.
Pixiv
Twitter
Bluesky
Weibo
Lofter
Tumblr
