TT@&&t^TTii;7lETxTT2 infimum supremumpcsX