Description: Extend wff notation with the following predicate: B is transitive for A and R . (New usage is discouraged.)