%used only for TeX output
