vault backup: 2025-11-21 15:31:28

uncommon-syntax.md

@@ -12,3 +12,20 @@ title: Uncommon Syntax
 * **i.e.** --- _id est_ ("that is")
 
 * **e.g.** --- _exempli gratia_ ("for example")
+
+## Symbols
+
+* $\therefore$
+
+* $\vdash$ --- turnstile,
+  denotes logical consequence
+
+* $\vDash$ or $\models$ --- double turnstile,
+  denotes [semantic](https://en.wikipedia.org/wiki/Semantic "Semantic") consequence
+
+  > [!quote] [Double turnstile - Wikipedia](https://en.wikipedia.org/wiki/Double_turnstile)
+  > read as
+  > "[entails](https://en.wikipedia.org/wiki/Logical_consequence "Logical consequence")",
+  > "[models](https://en.wikipedia.org/wiki/Model_theory "Model theory")",
+  > "is a **semantic consequence** of"
+  > or "is stronger than".