/\ t \in tx