LaTeXing proofs
I’ve written a LaTeX package to typeset proofs in natural deduction and similar systems. In some ways, it improves the existing packages by adding a new feature: the ability to … Continue reading
December 2, 2014 · Leave a comment
AucTeX and XeLaTeX
When working with XeLaTex (the xelatex command) you need to compile the LaTeX source from a terminal (Unix/Linux/MacOS) or from the command prompt (Windows). As I frequently use XeLaTeX and … Continue reading
October 21, 2011 · 1 Comment
Italian keyboards and Emacs
When typing on an Italian keyboard, composing LaTeX documents, it is always a pain since a couple of fundamental characters are lacking: tilde and backtick. There are useless characters like … Continue reading
April 5, 2011 · 1 Comment
Marco Benini 