Во-первых, оператор
CircleTimes[x,y,...], значок которого — символ
\[CircleTimes] — в ТеХе вводится как
\otimes, в
Mathematica не имеет встроенного значения, то есть, выражение

остаётся просто символьным до тех пор, пока вы не присвоите оператору конкретный смысл.
Во-вторых, функция
TensorProduct имеет свой собственный символ —
[\TensorProduct]. Это
разные символы, пусть они и выглядят похоже.
Если я непонятно объяснил, спрашивайте ещё ;-)