added typesetting for exp-tp