[math-fun] binary operation seeks symbol, name