t x | s^