From cd0a512d39bd8c1bc4b3b600671640e51a07550e Mon Sep 17 00:00:00 2001
From: Kristofers Solo <dev@kristofers.xyz>
Date: Sun, 15 Jun 2025 02:43:09 +0300
Subject: [PATCH] fixup! refactor: redraw images using fletcher

---
 main.typ | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/main.typ b/main.typ
index 9ed48b6..56de425 100644
--- a/main.typ
+++ b/main.typ
@@ -505,8 +505,8 @@ recognizability/recognizable).
 
 Problēma $A$, kurai neviena no $A$, $overline(A)$ nav daļēji atrisināma?
 
-- $"EQUIV"(M_1, M_2) = 1$, ja $forall x: M_1(x) = M_2(x)$.
-- $overline("EQUIV")(M_1, M_2) = 1$, ja $exists x: M_1(x) != M_2(x)$.
+- $equiv(M_1, M_2) = 1$, ja $forall x: M_1(x) = M_2(x)$.
+- $overline(equiv)(M_1, M_2) = 1$, ja $exists x: M_1(x) != M_2(x)$.
 
 
 = Nekustīgo punktu teorija