Двойной турникет
- Двойной турникет используется в логике для обозначения семантического следствия или более сильного утверждения.
- Он тесно связан с символом турникета с одной решеткой, обозначающим синтаксическое следствие.
- Двойной турникет имеет несколько значений в разных контекстах, включая семантическое следствие и тавтологию.
- В TeX и Юникоде символы турникета ⊨ и ⊨{\displaystyle \модели } получены из команд \vDash и \models соответственно.
- В LaTeX есть пакет turnstile, который выдает этот знак многими способами и способен размещать надписи под ним или над ним в нужных местах.
Полный текст статьи: