TeX source:
\ltimes, \rtimes, \times, \divideontimes