[PATCH] Attune example to classical axiomatics

---
 src/zmul.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/zmul.c b/src/zmul.c
index 6023664..71115df 100644
--- a/src/zmul.c
+++ b/src/zmul.c
_AT_@ -6,15 +6,15 @@ void
 zmul(z_t a, z_t b, z_t c)
 {
 	/*
 	 * Karatsuba algorithm
 	 * 
 	 * Basically, this is how you were taught to multiply large numbers
 	 * by hand in school: 4010⋅3020 = (4000 + 10)(3000 + 20) =
-	 = 40⋅30⋅10⁴ + (40⋅20 + 30⋅10)⋅10² + 10⋅20, but the middle is
+	 = 4⋅3⋅10⁴ + (40⋅20 + 30⋅10)⋅10² + 10⋅20, but the middle is
 	 * optimised to only one multiplication:
 	 * 40⋅20 + 30⋅10 = (40 + 10)(30 + 20) − 40⋅30 − 10⋅20.
 	 */
 
 	size_t m, m2;
 	z_t z0, z1, z2, b_high, b_low, c_high, c_low;
 	int b_sign, c_sign;
-- 
2.7.0