work on the coding section

lmoss · Jan 26, 2025 · e46bba5 · e46bba5
1 parent c342efb
commit e46bba5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/issues/coding.ipynb b/issues/coding.ipynb
@@ -91,7 +91,7 @@
         "\n",
         "We next define one particular encoding of this structure which we'll call the *unary encoding*.\n",
         "\n",
-        "1.  We take $\\widehat{S} = \\{\\varepsilon, \\mbox{\\tt 1}, \\mbox{\\tt 11}, \\mbox{\\tt 111}, \\ldots\\}$.\n",
+        "1.  We take $\\widehat{S} = \\{\\varepsilon, {\\tt 1}, {\\tt 11}, {\\tt 111}, \\ldots\\}$.\n",
         "\n",
         "2.  $\\pi({\\tt 1}^n) = n$.\n",
         "\n",