TEX code from Mic project