U+22A8 TRUE

⊨

• =alias statement is true, valid
• =alias is a tautology
• =alias satisfies
• =alias results in