User:Noogai93/Tritredecal

The tritredecal is equal to \(13\uparrow^{13}13\) or 13 15-ated to 13