Marco Benini

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