User blog:Alemagno12/Untitled Notation V2

Untitled Notation might be one of the first notations i ever made. When i discovered googology, i couldn't understand BEAF, so i tried to make simple notations to beat it. For example, i made my EUAN (old) when trying to extend ExE (which i didn't understand well at that point).

But this time, i'm gonna make a general definition for Untitled notation.


 * 1) is any valid expression.

& is any structure of -'s

Basic
a-b-c = a{c}b

Multiple entries

 * 1) -n-m = #-(#-(...#-(#-(#-n)))) with m levels

Multiple Bars

 * 1) ---...---n (m bars) = #---...--n---...--n---...--n ... ---...--n---...--n---...--n with n entries and m-1 bars

Exponentiation

 * 1) ---...---n (m bars) = #-*-*-*...*-*-*-n (m bars)

--- UNDER CONSTRUCTION ---