After the not-quite-up-to-what-I-wanted attempt 1 of making a hyperfactorial notation, I have decided to go back to the drawing board and start again. This is what I've come up with:
Still sticking with factorial as it is one of the less developed area of googology, I have come up with a simple notation that does not involve arrays and is also not that similar to any of Hyper-E notation. It is relatively powerful and uses "!" as symbols. It also adds two features to the exclamation mark, a subscript and superscript, so the final symbol is in the form . The b is not short for how many there are, so, for example could not be written as . There are 4 rules to evaluate this notation:
For where n, a and b are positive whole numbers (excluding 0),
- If there are multiple exclamation marks, always evaluate the one on the left (or the one closest to n) first.
- If b > 1 and a > 1,
- If b > 1 and a = 1, with n 's. Note: The brackets require that expressions within them are worked out separately, so rule two then will only affect things inside the set of brackets it is in if it is used when there are brackets.
- If b = 1, . Note: this can be done to any exclamation mark, not just the one nearest n. In the examples this is shown with the ^1 still in for clarity
Here are two examples of how it works:
- - just a small one to get started. It = (by rule 2) = (by rule 3) = ~ . A helpful formula when dealing with factorials is (see the wikipedia article here ). This can be used to give an approximation of this as and a (very rough) approximation of this at . Definitely "just a small one". Not like it's bigger than a googolplex or anything.
- = (by rule 1) = (by rules 2 & 3) = (by rule 2) = = . To go on from here, call p, and then evaluating one set of s gives with 2p !'s. Then call this q, and the final value of the expression is with 2q !'s. Not bad.
As usual more to come, all comments are appreciated, named numbers soon if this notation actually works as I want it to, and if it does I might get my own website and put them on there.