Presenting Proofs Using Logicographic Symbols Koji Nakagawa and Bruno Buchberger Proceedings of the Workshop on "Proof Transformation and Presentation" (A. Fiedler, H. Horacek eds.) at the IJAR-2001, Siena, June 18, 11 pages. ABSTRACT: The concept of logicographic symbols, introduced by the second author in 2000, closes the gap between formal presentation of mathematical knowledge and the illustration of mathematical knowledge by graphics.