Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

turnstile · Vinony

EntityQ7856108· pop 6· linked from 65 articles

turnstile

Sign in to save

mathematical symbol

Connections

X (social network)

computer science

International Standard Book Number

mathematical logic

Hewlett-Packard

propositional calculus

Categories

Deductive reasoning Logical consequence Logic symbols Mathematical logic Mathematical symbols Proof theory

Sources

wikipedia.externallinksexternallink

Similar entities

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

double turnstile

Entitydist 0.07

Miscellaneous Mathematical Symbols-A

Entitydist 0.56

Miscellaneous Mathematical Symbols-B

Entitydist 0.56

Entitydist 0.59

Mathematical Alphanumeric Symbols

Entitydist 0.62

Entitydist 0.63

Entitydist 0.63

Penrose graphical notation

Entitydist 0.63

Template:Formula E circuits

Entitydist 0.63

Unicode chart Mathematical Operators

Entitydist 0.63

Miscellaneous Symbols and Arrows

Entitydist 0.64

Mathematical Operators

Entitydist 0.64

What links here65 pages

Mathematical Operators

double turnstile

logical contradiction

material implication

substructural logic

rule of inference

logical negation

existential quantification

logical consequence

Begriffsschrift

sequent calculus

universal generalization

logical conjunction