User blog comment:Testitemqlstudop/FPT 2/@comment-44130370-20191112022731/@comment-44130370-20191112131407

1. f_L(v) returns a function.

2. @ is the same as my last definiton. a@b is the a+1 th fixed point of b.

3. f_x(y), where x and y < W.

4. 2 and 4 obviously do not conflict since if v = 0 then v-1 is negative. 1 and 3 do not conflict, either, as there is no ordinal under 0.

5. It is a symbol.

6. It is the same as the domain of the subscript of f.

...How long does it take to infer these rules?