User blog comment:Mh314159/FOX notation/@comment-39585023-20191205111828/@comment-39585023-20191205215350

OK, thank you. What about a structure like ‹S›‹S›(x) where what was g is a now recursion? I know it depends on what kind of recursion. If this isn't a significant idea, then I guess I will have to wave farewell to epsilon from a distance.