^ t \ {t