METAFONT is an algebraic programming language for describing the shapes of letters, designed and implemented by Knuth as part of the original TeX typesetting system. It was one of the earliest digital type design systems, and is completely capable of dealing with the letters of any writing system, has always been freely available, and is remarkably powerful. Yet it never caught on with type designers.