diff options
| -rw-r--r-- | doc/fromDyalog.md | 2 | ||||
| -rw-r--r-- | docs/doc/fromDyalog.html | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/fromDyalog.md b/doc/fromDyalog.md index f40c3bed..03dc5df7 100644 --- a/doc/fromDyalog.md +++ b/doc/fromDyalog.md @@ -105,7 +105,7 @@ The form `F⍣G` (Power with a function right operand; Power limit) must be impl <tr><td> <code>↓</code> </td><td> <code><˘</code> </td><td> <code>↑</code></td> </tr> <tr><td> <code>⊂</code> </td><td> <code><</code> </td><td> <code>+`⊸⊔</code></td> </tr> <tr><td> <code>⊆</code> </td><td> <code><⍟(0<≡)</code> </td><td> <code>⊔</code></td> </tr> -<tr><td> <code>∊</code> </td><td> <code>{0=≡𝕩:⥊𝕩⋄∾⥊𝕊¨𝕩}</code> </td><td> <code>∊</code></td> </tr> +<tr><td> <code>∊</code> </td><td> <code>{(∾𝕊¨)⍟(0<≡𝕩)⥊𝕩}</code></td><td> <code>∊</code></td> </tr> <tr><td> <code>⊃</code> </td><td colspan=2><code>⊑</code></td> </tr> <tr><td> <code>⍀</code> </td><td> </td><td> <code>/⁼</code></td> </tr> <tr><td> <code>∩</code> </td><td> </td><td> <code>∊/⊣</code></td> </tr> diff --git a/docs/doc/fromDyalog.html b/docs/doc/fromDyalog.html index 13c3bafe..16f91f77 100644 --- a/docs/doc/fromDyalog.html +++ b/docs/doc/fromDyalog.html @@ -294,7 +294,7 @@ <tr><td> <code><span class='Function'>↓</span></code> </td><td> <code><span class='Function'><</span><span class='Modifier'>˘</span></code> </td><td> <code><span class='Function'>↑</span></code></td> </tr> <tr><td> <code><span class='Value'>⊂</span></code> </td><td> <code><span class='Function'><</span></code> </td><td> <code><span class='Function'>+</span><span class='Modifier'>`</span><span class='Modifier2'>⊸</span><span class='Function'>⊔</span></code></td> </tr> <tr><td> <code><span class='Value'>⊆</span></code> </td><td> <code><span class='Function'><</span><span class='Modifier2'>⍟</span><span class='Paren'>(</span><span class='Number'>0</span><span class='Function'><≡</span><span class='Paren'>)</span></code> </td><td> <code><span class='Function'>⊔</span></code></td> </tr> -<tr><td> <code><span class='Function'>∊</span></code> </td><td> <code><span class='Brace'>{</span><span class='Number'>0</span><span class='Function'>=≡</span><span class='Value'>𝕩:</span><span class='Function'>⥊</span><span class='Value'>𝕩</span><span class='Separator'>⋄</span><span class='Function'>∾⥊𝕊</span><span class='Modifier'>¨</span><span class='Value'>𝕩</span><span class='Brace'>}</span></code> </td><td> <code><span class='Function'>∊</span></code></td> </tr> +<tr><td> <code><span class='Function'>∊</span></code> </td><td> <code><span class='Brace'>{</span><span class='Paren'>(</span><span class='Function'>∾𝕊</span><span class='Modifier'>¨</span><span class='Paren'>)</span><span class='Modifier2'>⍟</span><span class='Paren'>(</span><span class='Number'>0</span><span class='Function'><≡</span><span class='Value'>𝕩</span><span class='Paren'>)</span><span class='Function'>⥊</span><span class='Value'>𝕩</span><span class='Brace'>}</span></code></td><td> <code><span class='Function'>∊</span></code></td> </tr> <tr><td> <code><span class='Value'>⊃</span></code> </td><td colspan=2><code><span class='Function'>⊑</span></code></td> </tr> <tr><td> <code><span class='Value'>⍀</span></code> </td><td> </td><td> <code><span class='Function'>/</span><span class='Modifier'>⁼</span></code></td> </tr> <tr><td> <code><span class='Value'>∩</span></code> </td><td> </td><td> <code><span class='Function'>∊/⊣</span></code></td> </tr> |