TeX source:
\tilde{\otimes}