Equation Icon  a 1- a b c d θ = 2C bcd θ ∧ dθ . (9.146 )