It looks like a logo that I would create. My logo creation technique involves typing out the brand name, then selecting whichever stock font installed on my machine most strikes my fancy.
Perhaps the ratios of the bevels and font size contain some hilarious, hidden inside joke for mathematicians which I do not understand.
... and I actually laughed when I read "Our last move was to tilt the exclamation point by 9 degrees, just to add a bit of whimsy".