13 ms·

Is that a typo of metafont, or is there another system called metaphont? I did a few web searches and didn't come up with anything.

• wbl 10y ago
  Is a typo. no idea what my head was doing.
  • gjm11 10y ago
    > no idea what my head was doing Confusing METAFONT with metaphors, presumably.