Fix missing ; and wrong arithmetic in undo header example

2 files changed, 4 insertions, 4 deletions

diff --git a/doc/undo.md b/doc/undo.md
index e8f1605e..bc536e27 100644
--- a/doc/undo.md
+++ b/doc/undo.md
@@ -49,8 +49,8 @@ Undo headers are currently supported only by dzaima/BQN.
 Of course BQN will never be able to invert all the functions you could write (if it could you could earn a *lot* of bitcoins, among other feats). But it does recognize some [header](block.md#block-headers) forms that you can use to specify the inverse of a block function. BQN will trust you and won't verify the results your specified inverse gives.
 
     {
-      𝕊𝕩:  𝕩÷𝕩+1
-      𝕊⁼𝕩: 𝕩÷𝕩-1
+      𝕊𝕩:  𝕩÷1+𝕩 ;
+      𝕊⁼𝕩: 𝕩÷1-𝕩
     }
 
 The above function could also be defined with the automatically invertible `1⊸+⌾÷`, but maybe there's a numerical reason to use the definition above. Like a normal header, an undo header reflects the normal use, but it includes `⁼` and possibly `˜` addition to the function and arguments.
diff --git a/docs/doc/undo.html b/docs/doc/undo.html
index 5e7d6276..ccf210fe 100644
--- a/docs/doc/undo.html
+++ b/docs/doc/undo.html
@@ -46,8 +46,8 @@ ERROR
 <p>Undo headers are currently supported only by dzaima/BQN.</p>
 <p>Of course BQN will never be able to invert all the functions you could write (if it could you could earn a <em>lot</em> of bitcoins, among other feats). But it does recognize some <a href="block.html#block-headers">header</a> forms that you can use to specify the inverse of a block function. BQN will trust you and won't verify the results your specified inverse gives.</p>
 <pre><span class='Brace'>{</span>
-  <span class='Function'>𝕊</span><span class='Value'>𝕩:</span>  <span class='Value'>𝕩</span><span class='Function'>÷</span><span class='Value'>𝕩</span><span class='Function'>+</span><span class='Number'>1</span>
-  <span class='Function'>𝕊</span><span class='Modifier'>⁼</span><span class='Value'>𝕩:</span> <span class='Value'>𝕩</span><span class='Function'>÷</span><span class='Value'>𝕩</span><span class='Function'>-</span><span class='Number'>1</span>
+  <span class='Function'>𝕊</span><span class='Value'>𝕩:</span>  <span class='Value'>𝕩</span><span class='Function'>÷</span><span class='Number'>1</span><span class='Function'>+</span><span class='Value'>𝕩</span> <span class='Value'>;</span>
+  <span class='Function'>𝕊</span><span class='Modifier'>⁼</span><span class='Value'>𝕩:</span> <span class='Value'>𝕩</span><span class='Function'>÷</span><span class='Number'>1</span><span class='Function'>-</span><span class='Value'>𝕩</span>
 <span class='Brace'>}</span>
 </pre>
 <p>The above function could also be defined with the automatically invertible <code><span class='Number'>1</span><span class='Modifier2'>⊸</span><span class='Function'>+</span><span class='Modifier2'>⌾</span><span class='Function'>÷</span></code>, but maybe there's a numerical reason to use the definition above. Like a normal header, an undo header reflects the normal use, but it includes <code><span class='Modifier'>⁼</span></code> and possibly <code><span class='Modifier'>˜</span></code> addition to the function and arguments.</p>