Re: [math-fun] binary operation seeks symbol, name