WolframAlpha computational knowledge AI
a ∘ (a ◌̅ b)