TeX source:
\leftthreetimes, \rightthreetimes, \smallsetminus, \setminus, /