Typeset Gottlob Frege's notation in plain TeX
