Integer. The verb u is applied n times.
An infinite power n produces the limit of the application
of u .For example, (2&o.^:_)1 is 0.73908 ,
the solution of the equation y=Cos y .If n is negative,
the obverse u^:_1 (see below) is applied |n times.
Finally, u^:n y for an array n is produced by assembling u^:a y
(for all the atoms a in n)into an overall result.

The obverse is used inu&.vand is
produced byv b. _1 .
Repeated application of a verb is also provided by
Bond (&).

Boxed. If n is boxed it must be an atom, and u^:(<m)

↔ u^:(i.m) y

if m is a non-negative integer

↔ u^:(i.k) y

if m is _ or '' ,where k is the smallest
positive integer such that (u^:(k-1) y) -: u^:k y

The obverse (which is normally the inverse) is specified for six cases:

1.

The self-inverse functions + - -. % %. |. |: /: [ ] C. p.

2.

The pairs in the following tables:

<

>

<:

>:

+.

j./"1"_

+:

-:

*.

r./"1"_

*:

%:

^

^.

$.

$.^:_1

,:

{.

;:

;@(,&' '&.>"1)

#.

#:

!

3 : '(-(!-y"_)%1e_3&* !"0 D:1 ])^:_^.y'

3!:1

3!:2

3!:3

3!:2

\:

/:@|.

".

":

j.

%&0j1

o.

%&1p1

p:

π(n)

q:

*/

r.

%&0j1@^.

s:

5&s:

u:

3&u:

x:

_1&x:

+~

-:

*~

%:

^~

3 : '(- -&b@(*^.) % >:@^.)^:_ b=.^.y'"0

,~

<.@-:@# {. ]

,:~

{.

;~

>@{.

j.~

%&1j1

3.

Obviously invertible bonded dyads such
as -&3 and 10&^.
and 1 0 2&|: and 3&|. and 1&o.
and a.&i. as well as u@v and u&v
if u and v are invertible.

4.

Monads of the form v/\ and v/\. where v
is one of + * - % = ~:

5.

Obverses specified by the conjunction :.

6.

The following cases merit special mention:p:^:_1 n gives the number of primes less than n,
denoted byπ(n) in mathq:^:_1 is */b&#^:_1 where b is a boolean list is Expand
(whose fill atom f can be specified by
fit, b&#^:_1!.f or #^:_1!.f )a&#.^:_1 produces the base-a representation!^:_1 and !&n^:_1 and n&!^:_1
produce the appropriate results{= and i."1&1 are inverses of each other;
these convert between integer permutation vectors and boolean permutation matrices

Each record of a file begins with a byte indicating the record length
(excluding the record length byte itself), followed by
the record contents. Given a file, the verb rec below produces
the list of boxed records.