From 704d299e43bdab3d8040b8422b1630d11fc386c3 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Tue, 7 Feb 2023 18:49:24 -0500
Subject: Add a note for inserting atoms in translation of J amend

---
 doc/fromJ.md        | 2 +-
 docs/doc/fromJ.html | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/fromJ.md b/doc/fromJ.md
index d2fed75d..b2884c1e 100644
--- a/doc/fromJ.md
+++ b/doc/fromJ.md
@@ -162,7 +162,7 @@ Some J modifier expressions are translated below. BQN doesn't keep track of the
 | `x F&.>/ y`    | `x F⌜ y`
 | `x F/ y`       | `x F⎉r‿∞ y` where `r` is `F`'s left rank
 | ``F`G`H@.C``   | `C◶⟨F,G,H⟩`
-| `x y} z`       | `x⌾(y⊸⊏) z`
+| `x y} z`       | `x⌾(y⊸⊏) z` (`x¨` if `x` is an atom)
 | `x F/ . G y`   | `x F˝∘G⎉1‿∞ y`
 | `F :. G`       | `{𝕊: 𝕨F𝕩; 𝕊⁼: 𝕨G𝕩}`
 | `<;._1`        | ``((1-˜¬×+`)=⟜⊏⊘⊣)⊔⊢``
diff --git a/docs/doc/fromJ.html b/docs/doc/fromJ.html
index 99107f88..f1849667 100644
--- a/docs/doc/fromJ.html
+++ b/docs/doc/fromJ.html
@@ -671,7 +671,7 @@
 </tr>
 <tr>
 <td><code><span class='Value'>x</span> <span class='Value'>y</span><span class='Brace'>}</span> <span class='Value'>z</span></code></td>
-<td><code><span class='Value'>x</span><span class='Modifier2'>⌾</span><span class='Paren'>(</span><span class='Value'>y</span><span class='Modifier2'>⊸</span><span class='Function'>⊏</span><span class='Paren'>)</span> <span class='Value'>z</span></code></td>
+<td><code><span class='Value'>x</span><span class='Modifier2'>⌾</span><span class='Paren'>(</span><span class='Value'>y</span><span class='Modifier2'>⊸</span><span class='Function'>⊏</span><span class='Paren'>)</span> <span class='Value'>z</span></code> (<code><span class='Value'>x</span><span class='Modifier'>¨</span></code> if <code><span class='Value'>x</span></code> is an atom)</td>
 </tr>
 <tr>
 <td><code><span class='Value'>x</span> <span class='Function'>F/</span> <span class='Value'>.</span> <span class='Function'>G</span> <span class='Value'>y</span></code></td>
-- 
cgit v1.2.3