ex-theoretical physicist here. I read Terry's post and I totally saw your point about "Notation^{-1}(C)" being more wit than clarity. Of course, I also share your respect and appreciation for Tao.