<Tr> <Td> ⊧ </Td> <Td> ⊨ (\ displaystyle \ vDash) \ vDash </Td> <Td> entailment entails model theory </Td> <Td> A ⊧ B means the sentence A entails the sentence B, that is in every model in which A is true, B is also true . </Td> <Td> A ⊧ A ∨ ¬ A </Td> </Tr> <Tr> <Td> ⊢ </Td> <Td> ⊢ (\ displaystyle \ vdash) \ vdash </Td> <Td> inference infers; is derived from propositional logic, predicate logic </Td> <Td> x ⊢ y means y is derivable from x . </Td> <Td> A → B ⊢ ¬ B → ¬ A </Td> </Tr> <Tr> <Td> partition is a partition of number theory </Td> <Td> p ⊢ n means that p is a partition of n . </Td> <Td> (4, 3, 1, 1) ⊢ 9, ∑ λ ⊢ n (f λ) 2 = n! (\ displaystyle \ sum _ (\ lambda \ vdash n) (f_ (\ lambda)) ^ (2) = n!) </Td> </Tr> <Tr> <Td> ⟨ </Td> <Td> ⟨ (\ displaystyle \ langle \) \ langle </Td> <Td> bra vector the bra ...; the dual of...Dirac notation </Td> <Td> ⟨ φ means the dual of the vector φ ⟩, a linear functional which maps a ket ψ ⟩ onto the inner product ⟨ φ ψ ⟩ . </Td> <Td> </Td> </Tr>

What is the name of this symbol in mathematics