diff --git a/paper/HVM2.typst b/paper/HVM2.typst
index 472d39c0..71f7d40e 100644
--- a/paper/HVM2.typst
+++ b/paper/HVM2.typst
@@ -315,7 +315,13 @@ $
   ],
   [
     #smallcaps[(#strong[swit]ch 2)]
-    #math.frac(`#n+1 ~ ?(A B)`, `A ~ (* (#n B))`)
+    #math.frac(
+      `#n+1 ~ ?(A B)`, 
+      ```
+      A ~ (* x)
+      #n ~ ?(x B)
+      ```
+    )
   ],
 )
 #v(2em)