diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-12-13 19:04:01 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-12-13 19:04:01 -0500 |
| commit | 982fb08434494f6aa62ced217ddeb3254d51b1d6 (patch) | |
| tree | 1a22e641673815296afed6b22e33e94b261d02b8 /doc | |
| parent | 1613c647bb6b57202496b67041ad6ece6d4126be (diff) | |
More accurate dyadic ⊆ and ⍀ translations
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/fromDyalog.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/fromDyalog.md b/doc/fromDyalog.md index 03dc5df7..9c03107b 100644 --- a/doc/fromDyalog.md +++ b/doc/fromDyalog.md @@ -104,10 +104,10 @@ 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><</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>{𝕩⌾(𝕨⊸/)𝕨≠⊸↑0↑𝕩}</code></td></tr> <tr><td> <code>∩</code> </td><td> </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>↕</code> </td><td> <code>⊐</code></td> </tr> @@ -117,8 +117,8 @@ 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 colspan=2><code>•Eval</code></td> </tr> <tr><td> <code>⍕</code> </td><td colspan=2><code>•Fmt</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> +<tr><td> <code>⊥</code> </td><td> </td><td> <code>{+⟜(𝕨⊸×)´⌽𝕩}</code> </td></tr> +<tr><td> <code>⊤</code> </td><td> </td><td> <code>{>𝕨|⌊∘÷`⌾⌽𝕨«˜<𝕩}</code></td></tr> <tr><td> <code>⌹</code> </td><td colspan=2><code>+˝∘×⎉1‿∞⁼</code> I guess</td> </tr> <tr><td> <code>⌷</code> </td><td> N/A </td><td> <code>⊏</code></td> </tr> </table> |