⊨ — TRUE (U+22A8)