From 982fb08434494f6aa62ced217ddeb3254d51b1d6 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 13 Dec 2021 19:04:01 -0500 Subject: =?UTF-8?q?More=20accurate=20dyadic=20=E2=8A=86=20and=20=E2=8D=80?= =?UTF-8?q?=20translations?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- doc/fromDyalog.md | 8 ++++---- docs/doc/fromDyalog.html | 8 ++++---- 2 files changed, 8 insertions(+), 8 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 ↑ > ↑ ↓ <˘ ↑ ⊂ < +`⊸⊔ - ⊆ <⍟(0<≡) ⊔ + ⊆ <⍟(0<≡) (¬-˜⊢×·+`»⊸>)⊸⊔ ∊ {(∾𝕊¨)⍟(0<≡𝕩)⥊𝕩} ∊ ⊃ ⊑ - ⍀ /⁼ + ⍀ {𝕩⌾(𝕨⊸/)𝕨≠⊸↑0↑𝕩} ∩ ∊/⊣ ∪ ⍷ ⊣∾∊˜¬⊸/⊢ ⍳ ↕ ⊐ @@ -117,8 +117,8 @@ The form `F⍣G` (Power with a function right operand; Power limit) must be impl ≢ ≠ ≢ ⍎ •Eval ⍕ •Fmt - ⊥ {+⟜(𝕨⊸×)´⌽𝕩} - ⊤ {>𝕨|⌊∘÷`⌾⌽𝕨«˜<𝕩} + ⊥ {+⟜(𝕨⊸×)´⌽𝕩} + ⊤ {>𝕨|⌊∘÷`⌾⌽𝕨«˜<𝕩} ⌹ +˝∘×⎉1‿∞⁼ I guess ⌷ N/A ⊏ diff --git a/docs/doc/fromDyalog.html b/docs/doc/fromDyalog.html index 16f91f77..841e35d2 100644 --- a/docs/doc/fromDyalog.html +++ b/docs/doc/fromDyalog.html @@ -293,10 +293,10 @@ ↑ > ↑ ↓ <˘ ↑ ⊂ < +`⊸⊔ - ⊆ <⍟(0<≡) ⊔ + ⊆ <⍟(0<≡) (¬-˜⊢×·+`»⊸>)⊸⊔ ∊ {(∾𝕊¨)⍟(0<≡𝕩)⥊𝕩} ∊ ⊃ ⊑ - ⍀ /⁼ + ⍀ {𝕩⌾(𝕨⊸/)𝕨≠⊸↑0↑𝕩} ∩ ∊/⊣ ∪ ⍷ ⊣∾∊˜¬⊸/⊢ ⍳ ↕ ⊐ @@ -306,8 +306,8 @@ ≢ ≠ ≢ ⍎ •Eval ⍕ •Fmt - ⊥ {+⟜(𝕨⊸×)´⌽𝕩} - ⊤ {>𝕨|⌊∘÷`⌾⌽𝕨«˜<𝕩} + ⊥ {+⟜(𝕨⊸×)´⌽𝕩} + ⊤ {>𝕨|⌊∘÷`⌾⌽𝕨«˜<𝕩} ⌹ +˝∘×⎉1‿∞⁼ I guess ⌷ N/A ⊏ -- cgit v1.2.3