# ⊨ U+22A8 TRUE

- = statement is true, valid
- = is a tautology
- = satisfies
- = results in