User:Vel!/pu/suprultra

A new notation! Due to the corner my extended arrow notation has pushed me into, I will start developing this notation instead.

Originally called super notation but changed because Username5243 has a notation with the same name.

Extension 0 - basic suprultra notation (BSuN)
[1](n) = nn

[x](n) = [x-1]n(n) if x > 1

This notation is equivalent to Steinhaus-Moser notation.

Extension 1 - linear array suprultra notation (LASuN)
You can now have arrays in the notation.

 #  is any string, $ is any string of ones.

[#,1](n) = [#](n)

[1](n) = nn

[x](n) = [x-1]n(n) if x > 1

[x,#](n) = [x-1,#]n(n) if x > 1

[1,x](n) = [n,x-1](n) if x > 1

[@,1,x](n) = [@,n,x-1](n) if x > 1

[1,x,#](n) = [n,x-1,#](n) if x > 1

[@,1,x,#](n) = [@,n,x-1,#](n) if x > 1

This reaches $$\omega^{\omega}$$. The typical approach next is to have n-dimensional structures which diagonalize over the sizes of each previous one. But here I will take an approach more similar to alemagno12's hyper notation.

<p style="font-weight:normal;">On a sidenote, the notation was originally defined "flipped" so [a,b,c,...,y,z] becomes [z,y,...,c,b,a]. I changed it to be easier to work with.

Extension 2 - subblock suprultra notation (SBSuN)
<p style="font-weight:normal;">Arrays can now contain arrays. It would be too difficult to type up symbolic rules so I will rewrite the definition. First, here are some definitions of things:


 * The active entry of an array is the first non-one entry if that entry is a number, or that entry's active entry if it is an array. The active entry is that of the entire array.
 * The active array of an array is itself if the first non-one entry either does not exist or is a number, if it is an array the active array is the active array of that array. The active array is that of the entire array

<p style="font-weight:normal;">n is the number inside the parentheses. The active entry should always be in the active array.

<p style="font-weight:normal;">Now for the rules:


 * If the entire array has no non-one entries, the expression is equal to nn.
 * If the active array has no non-one entries and it is not the entire array, replace it, and everything to the left of it in the array it is in (if such exists), with 1,1,...,1,1,2 with n 1's.
 * If the active entry is the first entry in the active array, and the active array is not the entire array, replace the active array and everything to the left of it in the array IT is in (if such exists) with n copies of it with the active entry decreased by one
 * Otherwise, decrease the active entry by one and replace the entry before it with n

<p style="font-weight:normal;">This should get us to $$\varepsilon_0$$. Next stop, $$\psi(\Omega_{\omega})$$!

Extension 3 - subscripted array suprultra notation (SSASuN)
<p style="font-weight:normal;">Arrays can now have subscripts - like [12] (subscripts do not count as entries in the array - yet...). They act like big omegas for an OCF to collapse. Such an OCF is built in to the notation.

<p style="font-weight:normal;">We only need one new rule, but it will be complicated.

<p style="font-weight:normal;">First, a definition:

<p style="font-weight:normal;">Good. Now on to the rules:
 * The Nesting Block is calculated as follows: set p to the subscript of the active array. Move out into the array it is in. If its subscript is not less than p, repeat until it does. That array is the block. Non-subscripted arrays are considered to have a subscript of one. Only exists when the active array has a subscript.


 * If the entire array has no non-one entries, the expression is equal to nn.
 * If the active array has no non-one entries and it is not the entire array,...
 * If it has no subscript or that is equal to one, replace it, and everything to the left of it in the array it is in (if such entries exist), with 1,1,...,1,1,2 with n 1's.
 * If it has a subscript, set a counter z to n. Replace the active array with the nesting block with the subscript replaced with the subscript of the active array, minus one. Decrease z by one. Repeat until z is equal to 1, then replace the active array with 1.
 * If the active entry is the first entry in the active array, and the active array is not the entire array, replace the active array and everything to the left of it in the array IT is in (if such entries exist) with n copies of it with the active entry decreased by one
 * Otherwise, decrease the active entry by one and replace the entry before it with n

<p style="font-weight:normal;">That should get us to $$\psi(\Omega_{\omega})$$, the strength of my entire up-arrow system. Hang on, it will get crazier.

Extension 4 - extended subscripted array suprultra notation (ESSASN)
<p style="font-weight:normal;">First of all, we need a way of ranking arrays.

<p style="font-weight:normal;">a < b if a < b

<p style="font-weight:normal;">a > b if a > b

<p style="font-weight:normal;">a = b if a = b

<p style="font-weight:normal;">These are numbers.

<p style="font-weight:normal;">First remove any ones directly before the end or a block.

<p style="font-weight:normal;">Here is how to rank subblocks:

<p style="font-weight:normal;">[A] > [B] if A > B

<p style="font-weight:normal;">[A] < [B] if A < B

<p style="font-weight:normal;">[A] = [B] if A = B

<p style="font-weight:normal;">Good. Any block is greater than any number. Now here is how to deal with subscripts:

<p style="font-weight:normal;">[A] = [A1]

<p style="font-weight:normal;">[Aq] < [Br] if q < r

<p style="font-weight:normal;">[Aq] > [Br] if q > r

<p style="font-weight:normal;">[Ap] < [Bq] if p = q and A < B

<p style="font-weight:normal;">[Ap] > [Bq] if p = q and A > B

<p style="font-weight:normal;">Good.

<p style="font-weight:normal;">If the arrays have no blocks, they are compared like this:

<p style="font-weight:normal;">If the length of one array is greater than another, the former array is greater. than the latter one. Same goes with less. Generally, if A > B, B < A, and vice versa. A = B means B = A and vice versa.

<p style="font-weight:normal;">Let X and Y be the rest of the arrays and x and y be numbers:

<p style="font-weight:normal;">X,a > Y,b if a > b

<p style="font-weight:normal;">X,a < Y,b if a < b

<p style="font-weight:normal;">X,a > Y,b if a = b and X > Y

<p style="font-weight:normal;">X,a < Y,b if a = b and X < Y

<p style="font-weight:normal;">Find the highest ranking block in A and B. Call them z(A) and z(B)

<p style="font-weight:normal;">A > B if z(A) > z(B)

<p style="font-weight:normal;">A < B if z(A) < Z(B)

<p style="font-weight:normal;">If z(A) = z(B), remove last instance of said block and call it c(A) and c(B)

<p style="font-weight:normal;">A > B if c(A) > c(B)

<p style="font-weight:normal;">A < B if c(A) < c(B)

<p style="font-weight:normal;">A = B if c(A) = c(B)

<p style="font-weight:normal;">This was quite a lot. Now for some definitions...


 * The pseudo-active entry of an array is the active entry if the active array has no subscript, or the pseudo-active entry of the array in the subscript if not.
 * The pseudo-active array of an array is the active array if it has no subscript or a subscript with only ones or a numerical first non-one entry, or the pseudo-active array of the array in the subscript otherwise.
 * The pseudo-nesting block is like the block but calculated from the pseudo-active array, not the active array. When you leave a subscript to go into the array it is in, set z to the subscript array you left.

<p style="font-weight:normal;">The new rules are analogous to rules that are already in place.


 * If the entire array has no non-one entries, the expression is equal to nn.
 * If the active array has no non-one entries and it is not the entire array,...
 * If it has no subscript or that is equal to one, replace it, and everything to the left of it in the array it is in (if such entries exist), with 1,1,...,1,1,2 with n 1's.
 * If it has a subscript where the first entry is non-one, set a counter z to n. Replace the active array with the nesting block with the subscript replaced with the subscript of the active array, with the first entry decreased by one. Decrease z by one. Repeat until z is equal to 1, then replace the active array with 1.
 * Otherwise,...
 * If the pseudo-active entry is preceded by a one, decrease the entry by one and set said one to n.
 * If the pseudo-active entry is the first in the pseudo-active array, replace that array and everything to the left of it in the array IT is in (if such entries exist) with n copies of the pseudo-active array with its first entry decreased by 1.
 * If the pseudo-active entry does not exist and the pseudo-active array has no subscript or a one-only subscript, replace said array and everything to the left of it in the array it is in (if such entries exist), with 1,1,...,1,1,2 with n 1's.
 * If the pseudo-active entry does not exist and the pseudo-active array has a subscript, set a counter z to n. Replace the pseudo-active array with the pseudo-nesting block with the subscript replaced with the subscript of the pseudo-active array, with the first entry decreased by one. Decrease z by one. Repeat until z is equal to 1, then replace the active array with 1.
 * If the active entry is the first entry in the active array, and the active array is not the entire array, replace the active array and everything to the left of it in the array IT is in (if such entries exist) with n copies of it with the active entry decreased by one
 * Otherwise, decrease the active entry by one and replace the entry before it with n

<p style="font-weight:normal;">And if everything works the way it should, it should reach the power of $$\psi(\psi_{I}(0))$$.

Extension 5 - planar array super notation (PASuN)
<p style="font-weight:normal;">Preview:

<p style="font-weight:normal;">[12] is a diagonalizer of [...]

<p style="font-weight:normal;">[13] is a diagonalizer of [...2]

<p style="font-weight:normal;">[14] is a diagonalizer of [...3]

<p style="font-weight:normal;">[15] is a diagonalizer of [...4]

<p style="font-weight:normal;">[1x] if x > 1 is a diagonalizer of [...x-1]

<p style="font-weight:normal;">[1x,#] if x > 1 is a diagonalizer of [...x-1,#]

<p style="font-weight:normal;">[AB] will change to [A;B]. So that becomes:

<p style="font-weight:normal;">[1;2] is a diagonalizer of [...]

<p style="font-weight:normal;">[1;3] is a diagonalizer of [...;2]

<p style="font-weight:normal;">[1;4] is a diagonalizer of [...;3]

<p style="font-weight:normal;">[1;5] is a diagonalizer of [...;4]

<p style="font-weight:normal;">[1;x] if x > 1 is a diagonalizer of [...;x-1]

<p style="font-weight:normal;">[1;x,#] if x > 1 is a diagonalizer of [...;x-1,#]

<p style="font-weight:normal;">[1;1;2] is a diagonalizer of [1,...]!

Numbers

 * Vincol = [1](20)
 * Viterincol = [2](20)
 * Vithrincol = [3](20)
 * Viterrincol = [4](20)
 * Vipetincol = [5](20)
 * Vigectincol = [6](20)
 * Vigeptincol = [7](20)
 * Vigogdincol = [8](20)
 * Vignovincol = [9](20)
 * Viddekincol = [10](20)
 * Vinsomega = [1,2](20)
 * Vinsogiga = [1,3](20)
 * Vinsotera = [1,4](20)
 * Vinsopeta = [1,5](20)
 * Vincexa = [1,6](20) (vin-sexa)
 * Vinzetta = [1,7](20)
 * Vincotta = [1,8](20) (vin-sotta)
 * Vincxena = [1,9](20) (vin-seena)
 * Vinsodeka = [1,10](20)
 * Vinsquarel = [1,1,2](20)
 * Vincubel = [1,1,1,2](20)
 * Vintessarel = [1,1,1,1,2](20)
 * Vinpentil = [1,1,1,1,1,2](20)
 * Vintexon = [1,1,1,1,1,1,2](20)
 * Vintepton = [1,1,1,1,1,1,1,2](20)
 * Vintogdon = [1,1,1,1,1,1,1,1,2](20)
 * Vincennon = [1,1,1,1,1,1,1,1,1,2](20) (vin-sennon)
 * Vindekon = [1,1,1,1,1,1,1,1,1,1,2](20)
 * Toprincol =  1(20)
 * Duotoprincol =  1],[1(20)
 * Triotoprincol =  1],[1],[1(20)
 * Boprincol =  2(20)
 * Troprincol =  3(20)
 * Toquarpincol =  1,2(20)
 * Tocupincol =  1,1,2(20)
 * Toterpincol =  1,1,1,2(20)
 * Thropincol =  [1](20)
 * Vropincol =  [[1]](20)
 * Fropincol =  [[[1]]](20)
 * Stropincol =  [[[[1]]]](20)
 * Vepsillia =  12(20) =  [[[[[[[[[[[[[[[[[[1]]]]]]]]]]]]]]]]]](20)

Tiers
<p style="font-weight:normal;">The idea of tiers is that they divide a part of a notation into portions limited at the end of the part. In other words, tiers are a sequence from the start of the part of the notation to the end of the part. This can be applied to any notation that can be divided into parts or ranges.

<p style="font-weight:normal;">Here are the tiers of suprultra notation:

<p style="font-weight:normal;">...
 * BSuN Tier 1: [1]
 * BSuN Tier 2: [2]
 * BSuN Tier 3: [3]
 * BSuN Tier 4: [4]
 * BSuN Tier 5: [5]

<p style="font-weight:normal;">...
 * LASuN Tier 1: [1,2] to [1,1,2]
 * LASuN Tier 2: [1,1,2] to [1,1,1,2]
 * LASuN Tier 3: [1,1,1,2] to [1,1,1,1,2]
 * LASuN Tier 4: [1,1,1,1,2] to [1,1,1,1,1,2]
 * LASuN Tier 5: [1,1,1,1,1,2] to [1,1,1,1,1,1,2]

<p style="font-weight:normal;">...
 * SBSuN Tier 1:  1 to [1]
 * SBSuN Tier 2:  [1] to [[1]]
 * SBSuN Tier 3:  [[1]] to [[[1]]]
 * SBSuN Tier 4:  [[[1]]] to [[[[1]]]]
 * SBSuN Tier 5:  [[[[1]]]] to [[[[[1]]]]]

<p style="font-weight:normal;">...
 * SSASuN Tier 1:  12 to   13
 * SSASuN Tier 1:  13 to   14
 * SSASuN Tier 1:  14 to   15
 * SSASuN Tier 1:  15 to   16
 * SSASuN Tier 1:  16 to   17

<p style="font-weight:normal;">...
 * ESSASuN Tier 1:  1[1] to   1[1 [1 ]]
 * ESSASuN Tier 2:  1[1 [1 ]] to   1[1 [1 [1 ] ]]
 * ESSASuN Tier 3:  1[1 [1 [1 ] ]] to   1[1 [1 [1 [1 ] ] ]]
 * ESSASuN Tier 4:  1[1 [1 [1 [1 ] ] ]] to   1[1 [1 [1 [1 [1 ] ] ] ]]
 * ESSASuN Tier 5:  1[1 [1 [1 [1 [1 ] ] ] ]] to   1[1 [1 [1 [1 [1 [1 ] ] ] ] ]]

<p style="font-weight:normal;">...
 * PASuN Tier 1:  1;1;2 to 1;1;1;2
 * PASuN Tier 2:  1;1;1;2 to 1;1;1;1;2
 * PASuN Tier 3:  1;1;1;1;2 to 1;1;1;1;1;2
 * PASuN Tier 4:  1;1;1;1;1;2 to 1;1;1;1;1;1;2
 * PASuN Tier 5:  1;1;1;1;1;1;2 to 1;1;1;1;1;1;1;2