786 B
786 B
id, aliases, tags, title
| id | aliases | tags | title | |||
|---|---|---|---|---|---|---|
|
Uncommon Syntax |
Uncommon Syntax
-
i.e. --- id est ("that is")
-
e.g. --- exempli gratia ("for example")
Symbols
-
\therefore -
\vdash--- turnstile, denotes logical consequence -
\vDashor\models--- double turnstile, denotes semantic consequence[!quote] Double turnstile - Wikipedia read as "entails", "models", "is a semantic consequence of" or "is stronger than".