combgames-symbols CombgamesSymbols "CombgamesSymbolsEncoding ReEncodeFont" <[combgames-symbols.enc <combgames-symbols.pfb