⊬

Symbol

 * 1)  Does not prove.