Knuth 的 METAFONT 书中的“scrivener 的工具”是什么?

Knuth 的 METAFONT 书中的“scrivener 的工具”是什么?

什么是scrivener's tool?我在 Knuth 的书中找到了这个名字METAFONT。Google 没用。

相关内容