diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-03-15 15:01:22 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-03-15 15:01:22 -0400 |
| commit | e858f41dffaee272ffcf4b2cb63a49ad25ebf7d7 (patch) | |
| tree | 25b625f3b0561702db034495dd2ee1d84f6ec8ef /docs/doc/fromJ.html | |
| parent | 2d094f01f7421a56259433c4b0e86a5f92ba0871 (diff) | |
Highlight namespace dot as a separate token in md.bqn
Diffstat (limited to 'docs/doc/fromJ.html')
| -rw-r--r-- | docs/doc/fromJ.html | 114 |
1 files changed, 57 insertions, 57 deletions
diff --git a/docs/doc/fromJ.html b/docs/doc/fromJ.html index a39e156c..3c5ad0a2 100644 --- a/docs/doc/fromJ.html +++ b/docs/doc/fromJ.html @@ -51,7 +51,7 @@ </thead> <tbody> <tr> -<td><code><span class='Function'>NB.</span></code></td> +<td><code><span class='Function'>NB</span><span class='Value'>.</span></code></td> <td><code><span class='Comment'>#</span></code></td> <td></td> </tr> @@ -61,7 +61,7 @@ <td><code><span class='String'>'</span></code> creates characters</td> </tr> <tr> -<td><code><span class='Function'>=</span><span class='Number'>.</span></code> and <code><span class='Function'>=</span><span class='Value'>:</span></code></td> +<td><code><span class='Function'>=</span><span class='Value'>.</span></code> and <code><span class='Function'>=</span><span class='Value'>:</span></code></td> <td><code><span class='Gets'>←</span></code> and <code><span class='Gets'>↩</span></code></td> <td><code><span class='Gets'>←</span></code> to define; <code><span class='Gets'>↩</span></code> to modify</td> </tr> @@ -136,13 +136,13 @@ <td align="center"><code><span class='Value'>%</span></code></td> <td align="center"><code><span class='Value'>^</span></code></td> <td align="center"><code><span class='Value'>%:</span></code></td> -<td align="center"><code><span class='Function'><</span><span class='Number'>.</span></code></td> -<td align="center"><code><span class='Function'>></span><span class='Number'>.</span></code></td> +<td align="center"><code><span class='Function'><</span><span class='Value'>.</span></code></td> +<td align="center"><code><span class='Function'>></span><span class='Value'>.</span></code></td> <td align="center"><code><span class='Function'><</span><span class='Value'>:</span></code></td> <td align="center"><code><span class='Function'>></span><span class='Value'>:</span></code></td> <td align="center"><code><span class='Value'>[</span></code></td> <td align="center"><code><span class='Value'>]</span></code></td> -<td align="center"><code><span class='Function'>|</span><span class='Number'>.</span></code></td> +<td align="center"><code><span class='Function'>|</span><span class='Value'>.</span></code></td> <td align="center"><code><span class='Function'>|</span><span class='Value'>:</span></code></td> </tr> </tbody> @@ -168,10 +168,10 @@ <td align="center">Monad</td> <td align="center"><code><span class='Function'>/</span><span class='Value'>:~</span></code></td> <td align="center"><code><span class='Value'>\:~</span></code></td> -<td align="center"><code><span class='Function'>-</span><span class='Number'>.</span></code></td> +<td align="center"><code><span class='Function'>-</span><span class='Value'>.</span></code></td> <td align="center"><code><span class='Comment'>#@$</span></code></td> <td align="center"><code><span class='Comment'>#</span></code></td> -<td align="center"><code><span class='Function'>L.</span></code></td> +<td align="center"><code><span class='Function'>L</span><span class='Value'>.</span></code></td> <td align="center"><code><span class='Value'>$</span></code></td> <td align="center"><code><span class='Separator'>,</span></code></td> <td align="center"><code><span class='Value'>;</span></code></td> @@ -179,13 +179,13 @@ </tr> <tr> <td align="center">Dyad</td> -<td align="center"><code><span class='Value'>*</span><span class='Number'>.</span></code></td> -<td align="center"><code><span class='Function'>+</span><span class='Number'>.</span></code></td> -<td align="center"><code><span class='Function'>+-</span><span class='Number'>.</span></code></td> +<td align="center"><code><span class='Value'>*.</span></code></td> +<td align="center"><code><span class='Function'>+</span><span class='Value'>.</span></code></td> +<td align="center"><code><span class='Function'>+-</span><span class='Value'>.</span></code></td> <td align="center"><code><span class='Function'>=</span></code></td> <td align="center"><code><span class='Value'>~:</span></code></td> <td align="center"><code><span class='Function'>-</span><span class='Value'>:</span></code></td> -<td align="center"><code><span class='Function'>-</span><span class='Number'>.</span><span class='String'>@</span><span class='Function'>-</span><span class='Value'>:</span></code></td> +<td align="center"><code><span class='Function'>-</span><span class='Value'>.</span><span class='String'>@</span><span class='Function'>-</span><span class='Value'>:</span></code></td> <td align="center"><code><span class='Value'>$</span></code></td> <td align="center"><code><span class='Separator'>,</span></code></td> <td align="center"><code><span class='Separator'>,</span><span class='Value'>:</span></code></td> @@ -208,16 +208,16 @@ <tr> <td align="center">Monad</td> <td align="center"><code><span class='Function'><</span><span class='Value'>\</span></code></td> -<td align="center"><code><span class='Function'><</span><span class='Value'>\</span><span class='Number'>.</span></code></td> +<td align="center"><code><span class='Function'><</span><span class='Value'>\.</span></code></td> <td align="center"><code><span class='Value'>i.</span></code></td> <td align="center"><code><span class='Comment'>#{.(_1-#){.]</span></code></td> <td align="center"><code><span class='Function'>-</span><span class='String'>@</span><span class='Comment'>#{.(1+#){.]</span></code></td> -<td align="center"><code><span class='Function'>I.</span></code></td> +<td align="center"><code><span class='Function'>I</span><span class='Value'>.</span></code></td> </tr> <tr> <td align="center">Dyad</td> -<td align="center"><code><span class='Brace'>{</span><span class='Number'>.</span></code></td> -<td align="center"><code><span class='Brace'>}</span><span class='Number'>.</span></code></td> +<td align="center"><code><span class='Brace'>{</span><span class='Value'>.</span></code></td> +<td align="center"><code><span class='Brace'>}</span><span class='Value'>.</span></code></td> <td align="center"><code><span class='Value'>]\</span></code></td> <td align="center"><code><span class='Comment'>#@]{.,</span></code></td> <td align="center"><code><span class='Function'>-</span><span class='String'>@</span><span class='Comment'>#@]{.,~</span></code></td> @@ -245,29 +245,29 @@ <td align="center">Monad</td> <td align="center"><code><span class='Function'>/</span><span class='Value'>:</span></code></td> <td align="center"><code><span class='Function'>/</span><span class='Value'>:</span></code></td> -<td align="center"><code><span class='Brace'>{</span><span class='Number'>.</span></code></td> +<td align="center"><code><span class='Brace'>{</span><span class='Value'>.</span></code></td> <td align="center"><code><span class='Number'>0</span><span class='Brace'>{</span><span class='Value'>::</span><span class='Separator'>,</span></code></td> -<td align="center"><code><span class='Value'>i.~~</span><span class='Number'>.</span></code></td> +<td align="center"><code><span class='Value'>i.~~.</span></code></td> <td align="center"><code><span class='Value'>…</span></code></td> <td align="center"><code><span class='Value'>~:</span></code></td> -<td align="center"><code><span class='Value'>~</span><span class='Number'>.</span></code></td> -<td align="center"><code><span class='Function'></</span><span class='Number'>.i.</span><span class='String'>@</span><span class='Comment'>#</span></code></td> +<td align="center"><code><span class='Value'>~.</span></code></td> +<td align="center"><code><span class='Function'></</span><span class='Value'>.i.</span><span class='String'>@</span><span class='Comment'>#</span></code></td> </tr> <tr> <td align="center">Dyad</td> -<td align="center"><code><span class='Function'>I.</span></code></td> -<td align="center"><code><span class='Function'>I.</span><span class='Value'>&:</span><span class='Function'>-</span></code></td> +<td align="center"><code><span class='Function'>I</span><span class='Value'>.</span></code></td> +<td align="center"><code><span class='Function'>I</span><span class='Value'>.&:</span><span class='Function'>-</span></code></td> <td align="center"><code><span class='Brace'>{</span></code></td> <td align="center"><code><span class='Brace'>{</span><span class='Value'>::</span></code></td> <td align="center"><code><span class='Value'>i.</span></code></td> <td align="center"><code><span class='Value'>…</span></code></td> <td align="center"><code><span class='Value'>e.</span></code></td> -<td align="center"><code><span class='Function'>E.</span></code></td> -<td align="center"><code><span class='Function'></</span><span class='Number'>.</span></code></td> +<td align="center"><code><span class='Function'>E</span><span class='Value'>.</span></code></td> +<td align="center"><code><span class='Function'></</span><span class='Value'>.</span></code></td> </tr> </tbody> </table> -<p>Most of BQN's combinators have J equivalents. The J equivalent <code><span class='String'>"</span><span class='Modifier2'>_</span></code> for <code><span class='Modifier'>˙</span></code> assumes a noun operand, but <code><span class='Modifier'>˙</span></code> makes a constant function for any operand. <code><span class='Modifier2'>◶</span></code> has arguments reversed relative to <code><span class='String'>@</span><span class='Number'>.</span></code>, and uses an actual array of functions rather than gerunds. Besides these, BQN's <code><span class='Modifier2'>⟜</span></code> is like a J hook, that is, <code><span class='Function'>F</span><span class='Modifier2'>⟜</span><span class='Function'>G</span></code> is <code><span class='Paren'>(</span><span class='Function'>F</span> <span class='Function'>G</span><span class='Paren'>)</span></code>, and <code><span class='Modifier2'>⊸</span></code> applies in the opposite direction.</p> +<p>Most of BQN's combinators have J equivalents. The J equivalent <code><span class='String'>"</span><span class='Modifier2'>_</span></code> for <code><span class='Modifier'>˙</span></code> assumes a noun operand, but <code><span class='Modifier'>˙</span></code> makes a constant function for any operand. <code><span class='Modifier2'>◶</span></code> has arguments reversed relative to <code><span class='String'>@</span><span class='Value'>.</span></code>, and uses an actual array of functions rather than gerunds. Besides these, BQN's <code><span class='Modifier2'>⟜</span></code> is like a J hook, that is, <code><span class='Function'>F</span><span class='Modifier2'>⟜</span><span class='Function'>G</span></code> is <code><span class='Paren'>(</span><span class='Function'>F</span> <span class='Function'>G</span><span class='Paren'>)</span></code>, and <code><span class='Modifier2'>⊸</span></code> applies in the opposite direction.</p> <table> <thead> <tr> @@ -289,9 +289,9 @@ <td align="center"><code><span class='Value'>~</span></code></td> <td align="center"><code><span class='String'>@</span><span class='Value'>:</span></code></td> <td align="center"><code><span class='Value'>&:</span></code></td> -<td align="center"><code><span class='Value'>&</span><span class='Number'>.</span><span class='Value'>:</span></code></td> +<td align="center"><code><span class='Value'>&.:</span></code></td> <td align="center"><code><span class='Value'>:</span></code></td> -<td align="center"><code><span class='String'>@</span><span class='Number'>.</span></code></td> +<td align="center"><code><span class='String'>@</span><span class='Value'>.</span></code></td> <td align="center"><code><span class='Value'>::</span></code></td> </tr> </tbody> @@ -316,9 +316,9 @@ <tbody> <tr> <td align="center">J</td> -<td align="center"><code><span class='Value'>&</span><span class='Number'>.</span><span class='Function'>></span></code></td> -<td align="center"><code><span class='Value'>&</span><span class='Number'>.</span><span class='Function'>>/</span></code></td> -<td align="center"><code><span class='Value'>&</span><span class='Number'>.</span><span class='Function'>>/</span></code></td> +<td align="center"><code><span class='Value'>&.</span><span class='Function'>></span></code></td> +<td align="center"><code><span class='Value'>&.</span><span class='Function'>>/</span></code></td> +<td align="center"><code><span class='Value'>&.</span><span class='Function'>>/</span></code></td> <td align="center"><code><span class='Function'>/</span></code></td> <td align="center"><code><span class='Function'>/</span><span class='Value'>\</span></code></td> <td align="center"><code><span class='String'>"</span><span class='Modifier'>_1</span></code></td> @@ -358,13 +358,13 @@ <th align="center"><code><span class='Value'>*</span></code></th> <th align="center"><code><span class='Value'>%</span></code></th> <th align="center"><code><span class='Value'>^</span></code></th> -<th align="center"><code><span class='Value'>^</span><span class='Number'>.</span></code></th> +<th align="center"><code><span class='Value'>^.</span></code></th> <th align="center"><code><span class='Value'>%:</span></code></th> -<th align="center"><code><span class='Function'><</span><span class='Number'>.</span></code></th> -<th align="center"><code><span class='Function'>></span><span class='Number'>.</span></code></th> +<th align="center"><code><span class='Function'><</span><span class='Value'>.</span></code></th> +<th align="center"><code><span class='Function'>></span><span class='Value'>.</span></code></th> <th align="center"><code><span class='Value'>[</span></code></th> <th align="center"><code><span class='Value'>]</span></code></th> -<th align="center"><code><span class='Function'>|</span><span class='Number'>.</span></code></th> +<th align="center"><code><span class='Function'>|</span><span class='Value'>.</span></code></th> <th align="center"><code><span class='Function'>|</span><span class='Value'>:</span></code></th> </tr> </thead> @@ -392,7 +392,7 @@ <th align="center"><code><span class='Value'>~</span></code></th> <th align="center"><code><span class='String'>@</span><span class='Value'>:</span></code></th> <th align="center"><code><span class='Value'>&:</span></code></th> -<th align="center"><code><span class='Value'>&</span><span class='Number'>.</span><span class='Value'>:</span></code></th> +<th align="center"><code><span class='Value'>&.:</span></code></th> <th align="center"><code><span class='Value'>:</span></code></th> <th align="center"><code><span class='String'>"</span></code></th> <th align="center"><code><span class='Function'>L</span><span class='Value'>:</span></code></th> @@ -439,7 +439,7 @@ <td><code><span class='Function'>≥</span></code></td> </tr> <tr> -<td><code><span class='Function'>+</span><span class='Number'>.</span></code></td> +<td><code><span class='Function'>+</span><span class='Value'>.</span></code></td> <td></td> <td><code><span class='Function'>∨</span></code></td> </tr> @@ -449,7 +449,7 @@ <td><code><span class='Function'>¬∨</span></code></td> </tr> <tr> -<td><code><span class='Value'>*</span><span class='Number'>.</span></code></td> +<td><code><span class='Value'>*.</span></code></td> <td></td> <td><code><span class='Function'>∧</span></code></td> </tr> @@ -459,7 +459,7 @@ <td><code><span class='Function'>¬∧</span></code></td> </tr> <tr> -<td><code><span class='Function'>-</span><span class='Number'>.</span></code></td> +<td><code><span class='Function'>-</span><span class='Value'>.</span></code></td> <td><code><span class='Function'>¬</span></code></td> <td><code><span class='Function'>¬</span><span class='Modifier2'>∘</span><span class='Function'>∊/⊣</span></code></td> </tr> @@ -469,7 +469,7 @@ <td><code><span class='Function'>≡</span></code></td> </tr> <tr> -<td><code><span class='Value'>%</span><span class='Number'>.</span></code></td> +<td><code><span class='Value'>%.</span></code></td> <td></td> <td><code><span class='Function'>+</span><span class='Modifier'>˝</span><span class='Modifier2'>∘</span><span class='Function'>×</span><span class='Modifier2'>⎉</span><span class='Number'>1</span><span class='Ligature'>‿</span><span class='Number'>∞</span><span class='Modifier'>⁼</span></code></td> </tr> @@ -479,7 +479,7 @@ <td><code><span class='Function'>⥊</span></code></td> </tr> <tr> -<td><code><span class='Value'>~</span><span class='Number'>.</span></code></td> +<td><code><span class='Value'>~.</span></code></td> <td><code><span class='Function'>⍷</span></code></td> <td></td> </tr> @@ -494,7 +494,7 @@ <td><code><span class='Function'>∾</span></code></td> </tr> <tr> -<td><code><span class='Separator'>,</span><span class='Number'>.</span></code></td> +<td><code><span class='Separator'>,</span><span class='Value'>.</span></code></td> <td><code><span class='Function'>⥊</span><span class='Modifier'>˘</span></code></td> <td><code><span class='Function'>∾</span><span class='Modifier'>˘</span></code></td> </tr> @@ -544,7 +544,7 @@ <td><code><span class='Function'>⊏</span></code></td> </tr> <tr> -<td><code><span class='Brace'>{</span><span class='Number'>.</span></code></td> +<td><code><span class='Brace'>{</span><span class='Value'>.</span></code></td> <td><code><span class='Function'>⊏</span></code></td> <td><code><span class='Function'>↑</span></code></td> </tr> @@ -559,7 +559,7 @@ <td><code><span class='Function'>⊑</span></code></td> </tr> <tr> -<td><code><span class='Brace'>}</span><span class='Number'>.</span></code></td> +<td><code><span class='Brace'>}</span><span class='Value'>.</span></code></td> <td><code><span class='Number'>1</span><span class='Modifier2'>⊸</span><span class='Function'>↓</span></code></td> <td><code><span class='Function'>↓</span></code></td> </tr> @@ -569,7 +569,7 @@ <td></td> </tr> <tr> -<td><code><span class='String'>"</span><span class='Number'>.</span></code></td> +<td><code><span class='String'>"</span><span class='Value'>.</span></code></td> <td><code><span class='Function'>•Eval</span></code></td> <td></td> </tr> @@ -584,7 +584,7 @@ <td><code><span class='Function'>∊</span></code></td> </tr> <tr> -<td><code><span class='Function'>E.</span></code></td> +<td><code><span class='Function'>E</span><span class='Value'>.</span></code></td> <td></td> <td><code><span class='Function'>⍷</span></code></td> </tr> @@ -599,12 +599,12 @@ <td><code><span class='Function'>≠</span><span class='Modifier2'>∘</span><span class='Function'>⊣-</span><span class='Number'>1</span><span class='Function'>+⌽</span><span class='Modifier2'>⊸</span><span class='Function'>⊐</span></code></td> </tr> <tr> -<td><code><span class='Function'>I.</span></code></td> +<td><code><span class='Function'>I</span><span class='Value'>.</span></code></td> <td><code><span class='Function'>/</span></code></td> <td><code><span class='Function'>⍋</span></code></td> </tr> <tr> -<td><code><span class='Function'>L.</span></code></td> +<td><code><span class='Function'>L</span><span class='Value'>.</span></code></td> <td><code><span class='Function'>≡</span></code></td> <td></td> </tr> @@ -615,7 +615,7 @@ </tr> </tbody> </table> -<p>Some J modifier expressions are translated below. BQN doesn't keep track of the rank of functions, so the "close" compositions <code><span class='String'>@</span></code> <code><span class='Value'>&</span></code> <code><span class='Value'>&</span><span class='Number'>.</span></code> have no BQN equivalents: instead, specify a rank after composing.</p> +<p>Some J modifier expressions are translated below. BQN doesn't keep track of the rank of functions, so the "close" compositions <code><span class='String'>@</span></code> <code><span class='Value'>&</span></code> <code><span class='Value'>&.</span></code> have no BQN equivalents: instead, specify a rank after composing.</p> <table> <thead> <tr> @@ -625,7 +625,7 @@ </thead> <tbody> <tr> -<td><code><span class='Value'>&</span><span class='Number'>.</span><span class='Function'>></span></code></td> +<td><code><span class='Value'>&.</span><span class='Function'>></span></code></td> <td><code><span class='Modifier'>¨</span></code></td> </tr> <tr> @@ -633,7 +633,7 @@ <td><code><span class='Function'>F</span><span class='Modifier'>˝</span> <span class='Value'>y</span></code></td> </tr> <tr> -<td><code><span class='Value'>x</span> <span class='Function'>F</span><span class='Value'>&</span><span class='Number'>.</span><span class='Function'>>/</span> <span class='Value'>y</span></code></td> +<td><code><span class='Value'>x</span> <span class='Function'>F</span><span class='Value'>&.</span><span class='Function'>>/</span> <span class='Value'>y</span></code></td> <td><code><span class='Value'>x</span> <span class='Function'>F</span><span class='Modifier'>⌜</span> <span class='Value'>y</span></code></td> </tr> <tr> @@ -641,7 +641,7 @@ <td><code><span class='Value'>x</span> <span class='Function'>F</span><span class='Modifier2'>⎉</span><span class='Value'>r</span><span class='Ligature'>‿</span><span class='Number'>∞</span> <span class='Value'>y</span></code> where <code><span class='Value'>r</span></code> is <code><span class='Function'>F</span></code>'s left rank</td> </tr> <tr> -<td><code><span class='Function'>F</span><span class='Modifier'>`</span><span class='Function'>G</span><span class='Modifier'>`</span><span class='Function'>H</span><span class='String'>@</span><span class='Number'>.C</span></code></td> +<td><code><span class='Function'>F</span><span class='Modifier'>`</span><span class='Function'>G</span><span class='Modifier'>`</span><span class='Function'>H</span><span class='String'>@</span><span class='Value'>.</span><span class='Function'>C</span></code></td> <td><code><span class='Function'>C</span><span class='Modifier2'>◶</span><span class='Bracket'>⟨</span><span class='Function'>F</span><span class='Separator'>,</span><span class='Function'>G</span><span class='Separator'>,</span><span class='Function'>H</span><span class='Bracket'>⟩</span></code></td> </tr> <tr> @@ -649,23 +649,23 @@ <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> </tr> <tr> -<td><code><span class='Value'>x</span> <span class='Function'>F/</span> <span class='Number'>.</span> <span class='Function'>G</span> <span class='Value'>y</span></code></td> +<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> <td><code><span class='Value'>x</span> <span class='Function'>F</span><span class='Modifier'>˝</span><span class='Modifier2'>∘</span><span class='Function'>G</span><span class='Modifier2'>⎉</span><span class='Number'>1</span><span class='Ligature'>‿</span><span class='Number'>∞</span> <span class='Value'>y</span></code></td> </tr> <tr> -<td><code><span class='Function'>F</span> <span class='Value'>:</span><span class='Number'>.</span> <span class='Function'>G</span></code></td> +<td><code><span class='Function'>F</span> <span class='Value'>:.</span> <span class='Function'>G</span></code></td> <td><code><span class='Brace'>{</span><span class='Function'>𝕊</span><span class='Value'>:</span> <span class='Value'>𝕨</span><span class='Function'>F</span><span class='Value'>𝕩;</span> <span class='Function'>𝕊</span><span class='Modifier'>⁼</span><span class='Value'>:</span> <span class='Value'>𝕨</span><span class='Function'>G</span><span class='Value'>𝕩</span><span class='Brace'>}</span></code></td> </tr> <tr> -<td><code><span class='Function'><</span><span class='Value'>;</span><span class='Number'>._1</span></code></td> +<td><code><span class='Function'><</span><span class='Value'>;.</span><span class='Modifier'>_1</span></code></td> <td><code><span class='Paren'>((</span><span class='Number'>1</span><span class='Function'>-</span><span class='Modifier'>˜</span><span class='Function'>¬×+</span><span class='Modifier'>`</span><span class='Paren'>)</span><span class='Function'>=</span><span class='Modifier2'>⟜</span><span class='Function'>⊏</span><span class='Modifier2'>⊘</span><span class='Function'>⊣</span><span class='Paren'>)</span><span class='Function'>⊔⊢</span></code></td> </tr> <tr> -<td><code><span class='Value'>x</span> <span class='Brace'>{</span><span class='Number'>.</span><span class='Function'>!</span><span class='Number'>.f</span> <span class='Value'>y</span></code></td> +<td><code><span class='Value'>x</span> <span class='Brace'>{</span><span class='Value'>.</span><span class='Function'>!</span><span class='Value'>.f</span> <span class='Value'>y</span></code></td> <td><code><span class='Value'>y</span> <span class='Function'>»</span> <span class='Value'>x</span><span class='Function'>⥊</span><span class='Value'>f</span></code></td> </tr> <tr> -<td><code><span class='Value'>x</span> <span class='Function'>|</span><span class='Number'>.</span><span class='Function'>!</span><span class='Number'>.f</span> <span class='Value'>y</span></code></td> +<td><code><span class='Value'>x</span> <span class='Function'>|</span><span class='Value'>.</span><span class='Function'>!</span><span class='Value'>.f</span> <span class='Value'>y</span></code></td> <td><code><span class='Value'>x</span> <span class='Function'>⥊</span><span class='Modifier2'>⟜</span><span class='Value'>f</span><span class='Modifier2'>⊸</span><span class='Function'>«</span> <span class='Value'>y</span></code>, or <code><span class='Paren'>(</span><span class='Function'>-</span><span class='Value'>x</span><span class='Paren'>)</span> <span class='Function'>⥊</span><span class='Modifier2'>⟜</span><span class='Value'>f</span><span class='Modifier2'>⊸</span><span class='Function'>»</span> <span class='Value'>y</span></code> if <code><span class='Value'>𝕩</span><span class='Function'><</span><span class='Number'>0</span></code></td> </tr> </tbody> @@ -681,7 +681,7 @@ </thead> <tbody> <tr> -<td><code><span class='Function'>/</span><span class='Number'>.</span></code></td> +<td><code><span class='Function'>/</span><span class='Value'>.</span></code></td> <td><code><span class='Paren'>(</span><span class='Function'>+</span><span class='Modifier'>⌜´</span><span class='Function'>↕</span><span class='Modifier'>¨</span><span class='Modifier2'>∘</span><span class='Function'>≢</span><span class='Paren'>)</span><span class='Modifier2'>⊸</span><span class='Function'>⊔</span></code></td> <td><code><span class='Function'>⊐</span><span class='Modifier2'>⊸</span><span class='Function'>⊔</span></code></td> </tr> @@ -691,7 +691,7 @@ <td><code><span class='Function'><</span><span class='Modifier'>˘</span><span class='Function'>↕</span></code></td> </tr> <tr> -<td><code><span class='Value'>\</span><span class='Number'>.</span></code></td> +<td><code><span class='Value'>\.</span></code></td> <td><code><span class='Number'>¯1</span><span class='Function'>↓↓</span></code></td> <td></td> </tr> |
