Begriffsschrift notation in LaTeX and XML

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.

Leave a Reply

Your email address will not be published. Required fields are marked *