Submitted by György Chityil ... on Fri, 01/19/2018 - 22:00 Hierarchy: NounDescription: {{mathematics|logic}} The <math>\vdash</math> symbol used to represent {{w|logical entailment}} (deducibility relation).Ngram: turnstileNgram Text: turnstileSource: WiktionaryIssue: 0Wiktionary tag: logicwNgram Count: 1
