a ∘ b ◌̅ (b ◌̅ a)