Source TeX:
U^TX=0