Re: [math-fun] Symbol for rotation?

Someone whose name I forget (do you recall Neil?) came by the OEISF booth in SF and in passing mentioned that he was having fun rewriting various things using "the correct value of pi", namely 2pi

Yes, this was Bob Palais. Neil