Contextualizebeta

double turnstile

noun

Definitions

  1. The ⊨ symbol used to denote semantic consequence, or the ⊧ symbol used to denote the fact…

    The ⊨ symbol used to denote semantic consequence, or the ⊧ symbol used to denote the fact that the model to the left of it satisfies the set of sentences to its right.

The neighborhood

Vish — recursive loop

No curated loop yet for double turnstile. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA