From 8b40aa4203705da2525f00ed4cbe832f87f98f7d Mon Sep 17 00:00:00 2001
From: Babak Farhang <babak@crums.io>
Date: Tue, 7 Jan 2025 18:49:32 -0700
Subject: [PATCH] use unicode divides symbol

---
 docs/paper.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/paper.md b/docs/paper.md
index 97193e8..c467d69 100644
--- a/docs/paper.md
+++ b/docs/paper.md
@@ -119,7 +119,7 @@ Every computed row hash encodes the hash of the preceding row,
 but also, depending on the row number *n*, *k* many more hashes of predecessor rows, where
 *k* is the number of times 2 divides *n*:
 
-*k* = max { *i* ∈ ℕ<sub>0</sub> s.t. 2<sup>*i*</sup> | *n* }
+*k* = max { *i* ∈ ℕ<sub>0</sub> s.t. 2<sup>*i*</sup> ∣ *n* }
 
 Each row's hash "directly" encodes *k + 1* predecessor row hashes. The hashes referenced
 are from rows numbered