User blog:Alemagno12/Some symbol system

Let # is anything. Start with a number n.

+++...+++ (x +'s) = x

[#+] = +++...+++[#] with n +'s


 * 1) +[#] = successor of #[#]


 * 1) [] = +++...+++ with n +'s

[#+]
 * 1) +  = [[[...[[[#]
 * 2) + ]
 * ]
 * 1) ...]
 * ]
 * ]
 * 1)   with n levels


 * 1) +[#]
 * 2)   = successor of #[#]


 * []
 * 1)   = [[[...[[[]
 * ]
 * ]
 * 1) ...]
 * ]
 * ]
 * 1)   with n levels

Hope i didn't get any errors!