В логике символ ⊨, ⊧ или называется двойным турникетом . Его часто читают как «влечет», «моделирует», «является семантическим следствием» или «сильнее, чем». Он тесно связан с символом турникета. , который имеет одну черту посередине и обозначает синтаксическое следствие (в отличие от семантического).