⊨

Translingual

Symbol

1. Template:Lb models, satisfies

   ${𝐕}_{\omega }\models 𝖹𝖥{𝖢}^{𝖿𝗂𝗇}$

2. Template:Lb semantic consequence

   $T\models \phi$ if and only if $T⊢\phi$

Antonyms

• Template:L

See also

• Template:L