⊸

Symbol

 * 1) multimap
 * 2)   a non-classical conditional