Equation Icon  DT A = EB ∧ R A, (518 ) B DRAB = 0. (519 )