query: What's the difference between $\vdash$ and $\vDash$?
positive_passages.docid: 27734
positive_passages.text: Meaning of symbols $\vdash$ and $ \models$
negative_passages.docid: 125184
negative_passages.text: Why $\dim(\hom(V,W))=\dim(V) * \dim(W)$?
negative_passages.docid: 129463
negative_passages.text: Confusion about P=VI and V=IR
negative_passages.docid: 20581
negative_passages.text: How to show that $\Gamma\vdash (\varphi\to\neg\varphi)\to\varphi$?
negative_passages.docid: 25956
negative_passages.text: TikZ: difference between \node and \coordinate?
negative_passages.docid: 15173
negative_passages.text: Why use vectors to describe velocity/force/etc instead of treating magnitude and direction as separate values?
negative_passages.docid: 38449
negative_passages.text: The difference between vector and deque
negative_passages.docid: 28353
negative_passages.text: On what systems is //foo/bar different from /foo/bar?
negative_passages.docid: 17397
negative_passages.text: Difference between a space and a "wave" symbol (tilde/"~")?
negative_passages.docid: 111868
negative_passages.text: How is it that angular velocities are vectors, while rotations aren't?
negative_passages.docid: 12728
negative_passages.text: \dots versus \ldots - is there a difference?
negative_passages.docid: 36012
negative_passages.text: What is the difference between ./ and ../?
negative_passages.docid: 63952
negative_passages.text: Disproving: If $(\Gamma\vdash(\phi\,\lor\psi))$, either $(\Gamma\vdash\phi)$ or $(\Gamma\vdash\psi)$ is true
negative_passages.docid: 35236
negative_passages.text: Proof $p \vdash q \Rightarrow p$
negative_passages.docid: 66021
negative_passages.text: What is the point of sh being linked to dash?
negative_passages.docid: 2182
negative_passages.text: vs. . Which to use?
negative_passages.docid: 35337
negative_passages.text: Problem in notation: $(\vec{v}\cdot\vec{\nabla})\vec{v}$ versus $L_v(\vec{v})$