---
id:
aliases: []
tags:
  - authorship/original
  - type/encyclopedia
  - destiny/permanent
title: Uncommon Syntax
---
# 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".