Translation of "double turnstile" into Spanish
Doble trinquete is the translation of "double turnstile" into Spanish.
double turnstile
noun
grammar
The \vDash symbol used to denote semantic consequence, or the \models symbol used to denote the fact that the model to the left of it satisfies the set of sentences to its right.
-
Doble trinquete
mathematical symbol
-
Show algorithmically generated translations
Automatic translations of "double turnstile" into Spanish
-
Glosbe Translate -
Google Translate
Add example
Add