Back to catalog
Symbol guide

Models

LaTeX\models

Models denotes semantic entailment or satisfaction.

Example

Where it appears

  • Logic
  • Proofs
  • Operators