⅋

Symbol

 * 1)  In linear logic, used to denote an intensional disjunction.