User-defined TeX macros