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 --- docs/doc/fromDyalog.html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'docs') 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