CTAN
Comprehensive TeX Archive Network

Paul Taylor

Macros for build­ing proof trees
Pro­duce an "end-of-proof" mark
Macros for cat­e­gory-the­o­retic di­a­grams
Guest Book Sitemap Contact Contact Author