Skip to content



How to typeset := correctly

\( b := 10 \) \emph{versus} \( b \coloneqq 10 \).

How to make set complement


Use PSTRicks instead of tikz for automata


When using together with Pandoc, make sure to compile it using pandoc --pdf-engine=xelatex ....

Lightning symbol



Can then be used in math-mode.

Write something on top of equal sign


If def is not available in math-mode, then use \text{sometext}.

Insert checkmark arrow



Specify correct hyphenation


Add margin to block of text



\begin{addmargin}[1em]{2em}% 1em left, 2em right

Fancy headers


Typeset BNF


Typeset Type Systems


Last update: November 23, 2020