From 28dedce6035153c1009d29fd77f5832ba43f5752 Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Wed, 2 Aug 2023 12:50:16 -0700
Subject: more precise formal logic for calculus

---
 src/writing/calculus.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/writing/calculus.php b/src/writing/calculus.php
index ddfdd0c..270c9a0 100644
--- a/src/writing/calculus.php
+++ b/src/writing/calculus.php
@@ -110,6 +110,6 @@ function tex($latex) {
 	self-evident--division by an infinitely small number will produce an infinitely large one.
 	The limit is formally defined as follows:
 </p>
-<p class="centermath"><?php echo(tex("\$\\lim_{x\\to c}f(x)=L\\ \\textup{if}\\ \\forall\\epsilon\\in\\mathbb{R},\\ \\epsilon>0\\ \\exists\\delta\\in\\mathbb{R},\\newline|f(x)-L|<\\epsilon\\ \\textup{whenever}\\ 0 < |x-c| < \\delta\$")); ?></p>
+<p class="centermath"><?php echo(tex("\$\\lim_{x\\to c}f(x)=L\\leftrightarrow\\forall\\epsilon\\in\\mathbb{R} : \\epsilon>0\\ \\exists\\delta\\in\\mathbb{R} : \\newline|f(x)-L|<\\epsilon\\leftarrow 0 < |x-c| < \\delta\$")); ?></p>
 </p>
 <?php require($_SERVER["DOCUMENT_ROOT"] . "/footer.php"); ?>
-- 
cgit v1.2.3-70-g09d2