Begriffsschrift notation in LaTeX and XML

Submitted by Richard Zach on June 4, 2005 - 3:48pm.

Philip Ebert reports that a formula editor for Begriffsschrift notation with output in XML and LaTeX begriff.sty format is available on the Arché Wiki.