aboutsummaryrefslogtreecommitdiff
path: root/docs/doc/fromJ.html
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2021-03-15 15:01:22 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2021-03-15 15:01:22 -0400
commite858f41dffaee272ffcf4b2cb63a49ad25ebf7d7 (patch)
tree25b625f3b0561702db034495dd2ee1d84f6ec8ef /docs/doc/fromJ.html
parent2d094f01f7421a56259433c4b0e86a5f92ba0871 (diff)
Highlight namespace dot as a separate token in md.bqn
Diffstat (limited to 'docs/doc/fromJ.html')
-rw-r--r--docs/doc/fromJ.html114
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'>&lt;</span><span class='Number'>.</span></code></td>
-<td align="center"><code><span class='Function'>&gt;</span><span class='Number'>.</span></code></td>
+<td align="center"><code><span class='Function'>&lt;</span><span class='Value'>.</span></code></td>
+<td align="center"><code><span class='Function'>&gt;</span><span class='Value'>.</span></code></td>
<td align="center"><code><span class='Function'>&lt;</span><span class='Value'>:</span></code></td>
<td align="center"><code><span class='Function'>&gt;</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'>&lt;</span><span class='Value'>\</span></code></td>
-<td align="center"><code><span class='Function'>&lt;</span><span class='Value'>\</span><span class='Number'>.</span></code></td>
+<td align="center"><code><span class='Function'>&lt;</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'>&lt;/</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'>&lt;/</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'>&amp;:</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'>.&amp;:</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'>&lt;/</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'>&lt;/</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'>&quot;</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'>&quot;</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'>&amp;:</span></code></td>
-<td align="center"><code><span class='Value'>&amp;</span><span class='Number'>.</span><span class='Value'>:</span></code></td>
+<td align="center"><code><span class='Value'>&amp;.:</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'>&amp;</span><span class='Number'>.</span><span class='Function'>&gt;</span></code></td>
-<td align="center"><code><span class='Value'>&amp;</span><span class='Number'>.</span><span class='Function'>&gt;/</span></code></td>
-<td align="center"><code><span class='Value'>&amp;</span><span class='Number'>.</span><span class='Function'>&gt;/</span></code></td>
+<td align="center"><code><span class='Value'>&amp;.</span><span class='Function'>&gt;</span></code></td>
+<td align="center"><code><span class='Value'>&amp;.</span><span class='Function'>&gt;/</span></code></td>
+<td align="center"><code><span class='Value'>&amp;.</span><span class='Function'>&gt;/</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'>&quot;</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'>&lt;</span><span class='Number'>.</span></code></th>
-<th align="center"><code><span class='Function'>&gt;</span><span class='Number'>.</span></code></th>
+<th align="center"><code><span class='Function'>&lt;</span><span class='Value'>.</span></code></th>
+<th align="center"><code><span class='Function'>&gt;</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'>&amp;:</span></code></th>
-<th align="center"><code><span class='Value'>&amp;</span><span class='Number'>.</span><span class='Value'>:</span></code></th>
+<th align="center"><code><span class='Value'>&amp;.:</span></code></th>
<th align="center"><code><span class='Value'>:</span></code></th>
<th align="center"><code><span class='String'>&quot;</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'>&quot;</span><span class='Number'>.</span></code></td>
+<td><code><span class='String'>&quot;</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 &quot;close&quot; compositions <code><span class='String'>@</span></code> <code><span class='Value'>&amp;</span></code> <code><span class='Value'>&amp;</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 &quot;close&quot; compositions <code><span class='String'>@</span></code> <code><span class='Value'>&amp;</span></code> <code><span class='Value'>&amp;.</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'>&amp;</span><span class='Number'>.</span><span class='Function'>&gt;</span></code></td>
+<td><code><span class='Value'>&amp;.</span><span class='Function'>&gt;</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'>&amp;</span><span class='Number'>.</span><span class='Function'>&gt;/</span> <span class='Value'>y</span></code></td>
+<td><code><span class='Value'>x</span> <span class='Function'>F</span><span class='Value'>&amp;.</span><span class='Function'>&gt;/</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'>&lt;</span><span class='Value'>;</span><span class='Number'>._1</span></code></td>
+<td><code><span class='Function'>&lt;</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'>&lt;</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'>&lt;</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>