This website uses cookies to personalize content and ads.
A small set of symbols appropriate to the game. The font is expressed in Metafont; unusually, the size-specific file magic12.mf is input by magic.mf, rather than the other way around.