diff --git a/nomos/raw/cryptarchia-proof-of-leadership.md b/nomos/raw/cryptarchia-proof-of-leadership.md
index c625d5c..ab09fd2 100644
--- a/nomos/raw/cryptarchia-proof-of-leadership.md
+++ b/nomos/raw/cryptarchia-proof-of-leadership.md
@@ -160,7 +160,7 @@ is only necessary to demonstrate that you are a leader.
 
 **Setup:** When refreshing their notes, potential leaders will:
 
-1. Uniformly randomly draw a seed $r_1 \stackrel{\$}{\leftarrow} \mathbb{F}_p$.
+1. Uniformly randomly draw a seed $r_1 \xleftarrow{\$} \mathbb{F}_p$.
 
 2. Construct a Merkle Tree of root $R$ containing $2^{25}$ slot secrets
    (that are random numbers).