TeX boxes example for the editor showcase