There definitely is some sort of methodological problem. It thinks \otimes is more than 4 times more frequent than the plain good old fashioned integral sign.

There definitely is some sort of methodological problem. It thinks \otimes is more than 4 times more frequent than the plain good old fashioned integral sign. There’s absolutely no way that is the case.