Udo Wermuth

Typeset Gottlob Frege's notation in plain TeX

Check if a given input string is a number or dimension for TeX

Show for approval the filenames used in \input, \openin, or \openout