Box

Lipen · Lipen · commit 5b5dd7d8b6fa · 2025-12-10T00:38:58.000+03:00
diff --git a/typst/lec-logic.typ b/typst/lec-logic.typ
@@ -589,7 +589,7 @@
 == Semantic Entailment
 
 #definition[
-  A set of formulas $Gamma$ _semantically entails_ (or _logically implies_) a formula $phi$, written $Gamma models phi$, if every interpretation that satisfies all formulas in $Gamma$ also satisfies $phi$:
+  A set of formulas $Gamma$ _semantically entails_ (or _logically implies_) a formula $phi$, written #box[$Gamma models phi$], if every interpretation that satisfies all formulas in $Gamma$ also satisfies $phi$:
   $
     Gamma models phi
     quad "iff" quad

Original file line number	Diff line number	Diff line change
`@@ -589,7 +589,7 @@`
`589`	`589`	`== Semantic Entailment`
`590`	`590`
`591`	`591`	`#definition[`
`592`		`- A set of formulas $Gamma$ _semantically entails_ (or _logically implies_) a formula $phi$, written $Gamma models phi$, if every interpretation that satisfies all formulas in $Gamma$ also satisfies $phi$:`
	`592`	`+ A set of formulas $Gamma$ _semantically entails_ (or _logically implies_) a formula $phi$, written #box[$Gamma models phi$], if every interpretation that satisfies all formulas in $Gamma$ also satisfies $phi$:`
`593`	`593`	`$`
`594`	`594`	`Gamma models phi`
`595`	`595`	`quad "iff" quad`