more precise formal logic for calculus

1 files changed, 1 insertions, 1 deletions

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"); ?>