{{#css: pre, tt {font-size: 11pt;color:black;} }

   i.2 3
0 1 2
3 4 5

Heading 1

Heading 2

Heading 3

Heading 4

`[x] u@v y`	Atop	Conjunction

`[x] u@v y`	Atop	Conjunction

Rank -- depends on the rank of v -- WHY IS THIS IMPORTANT?

Forms the composition (u@v) of verbs u and v .

The resulting verb is applied independently to each cell of the argument(s).

Operand u is always executed monadically on the result of each application of v
Operand v is executed either monadically or dyadically depending whether u@v has been called monadically or dyadically

LaTeX examples:

$\sum _{i=1}^{\infty }{1 \over i^{2}}={\pi ^{2} \over 6}\qquad$ (L. Euler, 1735)

$sin^{2}(x)+cos^{2}(x)=1\qquad$ (Pythagoras' theorem ported to the unit circle)

Having a look at the JLexer:

if. b do. ...

   if. b do. ...

WARNING:
   if. b do. ...
only tests the first atom in the (Boolean list) condition b. Thus
   if. 'chalk' = 'cheez' do. ...
will test true because the first atom of the result of the T-block is 1 even if some subsequent atoms are 0
   'chalk' = 'cheez'
1 1 0 0 0
   'chalk' ~: 'cheez'
0 0 1 1 1
   'chalk' -: 'cheez'   NB. maybe Match (-:) is what you want
0

Caution: if. b do. ... only tests the first atom in ... [code]
Caution: if. b do. ... only tests the first atom in ... [sh-j]

<<Anchor>>

Sandbox