Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

double turnstile · Vinony

🌐English

English Español Português Русский 한국어 日本語

EntityQ5300115· pop 6· linked from 35 articles

double turnstile

Also known as ⊭, ⊨

mathematical symbol

Available in 6 languages

Español
Русский
Português
Galician
한국어

via Wikidata sitelinks · CC0

Connections

International Standard Book Number

Categories

Logical consequence Logic symbols Mathematical logic Mathematical symbols Semantics

Sources

wikipedia.externallinksexternallink

syntax

Entity

mathematical logic

list of mathematical symbols

logical contradiction

logical negation

logical disjunction

logical conjunction

material implication

Sign in to save

What links here35 pages

Mathematical Operators

logical negation

existential quantification

logical consequence

logical conjunction

logical disjunction

universal quantification

logical contradiction

material implication

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.07

Miscellaneous Mathematical Symbols-A

Entitydist 0.58

Miscellaneous Mathematical Symbols-B

Entitydist 0.58

Penrose graphical notation

Entitydist 0.61

Entitydist 0.63

Unicode chart Mathematical Operators

Entitydist 0.64

Miscellaneous Symbols and Arrows

Entitydist 0.64

Supplemental Mathematical Operators

Entitydist 0.64

Mathematical Operators

Entitydist 0.64

Mathematical Alphanumeric Symbols

Entitydist 0.64

Entitydist 0.66

Entitydist 0.66