<
>
⊨

⊨ TRUE

CodepointU+22A8
Copy to the clipboard
Comments statement is true, valid
is a tautology
satisfies
results in
BlockMathematical Operators
Sub-BlockRelations
CategorySm / Symbol, math
Add to My List
Copy link
How to type "⊨" in Windows? hold alt
type +
type 22A8
release alt
How to type "⊨" in Linux? hold ctrl+shift
type U 22A8
release ctrl+shift