diff --git a/src/kernel_services/abstract_interp/multidim.mli b/src/kernel_services/abstract_interp/multidim.mli
index 26ff49c7a5461a98469996db59c52a0a8245081d..e1d0a7dc839f2648bdc93427c6712448b2b1b33b 100644
--- a/src/kernel_services/abstract_interp/multidim.mli
+++ b/src/kernel_services/abstract_interp/multidim.mli
@@ -28,7 +28,7 @@
 
     or, more formally
 
-    { o + Σ dᵢ×xᵢ | ∀i 1≤i≤n ⇒ xᵢ ∊ [0, bᵢ] }
+    \{ o + Σ dᵢ×xᵢ | ∀i 1≤i≤n ⇒ xᵢ ∊ [0, bᵢ] \}
 
     This is a generalisation of integers intervals with modulo implemented in
     Ival : o + d×[0, b]