extra TeX macro needed