From ed8c2d6b56655f1a362f7683b9da3ac521920a42 Mon Sep 17 00:00:00 2001
From: JJ
Date: Sun, 19 May 2024 20:04:59 -0700
Subject: meow

---
 linguistics/semantics.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'linguistics')

diff --git a/linguistics/semantics.md b/linguistics/semantics.md
index 96638aa..a6cb615 100644
--- a/linguistics/semantics.md
+++ b/linguistics/semantics.md
@@ -42,8 +42,8 @@ With basic logic and the lambda calculus under our belt, we may simply get strai
 > *Alice is bad.* <br>
 > *The blue pigeon flew away.*
 
-- Noun $↝ λx.Noun(x)$ $: ⟨e,t⟩$
-- Verb (intransitive) ↝ $λx.Verb(x)$: $⟨e,t⟩$
+- Noun: $⟨e,t⟩ ↝ λx.Noun(x)$
+- Verb (intransitive): $⟨e,t⟩ ↝ λx.Verb(x)$
 - Verb (transitive): $⟨e,⟨e,t⟩⟩ ↝ λy.λx.Verb(x, y)$
 - Verb (meaningless): $⟨⟨e,t⟩,⟨e,t⟩⟩ ↝ λP.λx.P(x)$
 - Adj: $⟨⟨e,t⟩,⟨e,t⟩⟩ ↝ λNoun.λx.[Adj(x) ∧ Noun(x)]$
-- 
cgit v1.2.3-70-g09d2