diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2023-02-07 18:49:24 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2023-02-07 18:49:24 -0500 |
| commit | 704d299e43bdab3d8040b8422b1630d11fc386c3 (patch) | |
| tree | 4a777fcc5414ca9a857ad69d3fa4177a336b59e8 /docs/doc | |
| parent | cba5bb7a7d8eb17f38757d7117c0c97fda19b708 (diff) | |
Add a note for inserting atoms in translation of J amend
Diffstat (limited to 'docs/doc')
| -rw-r--r-- | docs/doc/fromJ.html | 2 |
1 files changed, 1 insertions, 1 deletions
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> |