⋉

Symbol

 * 1)  left semijoin
 * 2)  semidirect product