This is a notation used to define FG numbers
The notation[]
- FG:[] starts the notation
- (Y) = (D) : define (Y) as (D)
- N: : “a number in which”
- A(dir: < or >): : “a prefix/suffix in which” | also defines input +H
- C: : “a concept in which”
- [] : the equivalent of parentheses
- +(U) : depends on input (U)
- +S : self
- +H : input if affix
- +N : all positive numbers
- ++(n) : variable (n)
- !(m) : not (m)
- B > (n) : “bypasses (n)”
- S > (n) : “surpasses (n)”
- [(Y: verb)] > (n) : “(Y)s (n)”
- C(m) > (n) : statement that (m) contains (n)
- [(m)](T) : depends on input (T)
- [(m)]- : “it doesn’t/isnt (m)”
- [(m)]?- : “cannot (m)”
- (stuff)|(o)!(n) : applies (stuff) to itself starting at (o) (n) times
- M{(t)} : standard mathematical or number expression (t)
- W(O: list of FG:[] statements){(t)} : word and sentence based expression (t), “O[(u)]” being the (u)th FG:[] statement within O
- (A)-(b) : apply affix (A) to (b)
- var+(n) : create variable named (n)
- S/(n: _ > _) : strictly (n)
- , : extra statement
Notation ideas[]
Examples and translations[]
free to edit section
- 0 : FG:[N:S > !+N]
- The Strict End of Numbers: FG[S/(n: N:S > +N)]