Closed ghost closed 11 years ago
pdftex cannot compile begriff's commands as for example:
$\BGassert\BGconditional{a}{\BGconditional{b}{a}}$
It is needed to compile using pdflatex
I just added support for that: https://github.com/manuels/texlive.js/commit/e76f53f726dbeeacb4619e7a6c8561b370133120
(Remember to include the package \usepackage{begriff})
pdftex cannot compile begriff's commands as for example:
$\BGassert\BGconditional{a}{\BGconditional{b}{a}}$
It is needed to compile using pdflatex