3 Long names

Eight characters is not enough to unambiguously represent all fonts. To do that, we have to allow ourselves arbitrarily long names. Although we certainly cannot use such names for the files themselves, we could still use them in TeX documents given a simple mapping file, as discussed below.