User blog comment:Hyp cos/Fundamental Sequences in Taranovsky's Notation/@comment-32697988-20190204142752/@comment-11227630-20190205105158

To P進大好きbot:

What do your "n" means? If you mean it is the subscript of an Ω, then it is fixed in the whole notation system. (The nth system uses two constants, 0 and Ωn).

To Rpakr:

After an application of step 2, you need step 3. (When already L(β)=L(α)+k, it seems that no changes happen.) Only at step 6 it will be check standard or not.