properly escape in TeXFormat