circuit diagrams, more agda shortcut commands in main.tex
using XITS fonts