1
I am trying to define some rules for CenterDot. One thing I don't understand is that if I define
SetAttributes[CenterDot, Flat]
CenterDot[var_] := var
CenterDot[x] will induce infinite recursion. I have tried to use Trace, but could not find why there was a recursion. I am expecting CenterDot[x]...