User blog comment:Googleaarex/Bashicu Matrix System Analysis (Part 1)/@comment-27516045-20170725132813/@comment-5529393-20170731015714

What I mean is that the underlying intuition behind DAN, the notion of separators of various levels, seems simple enough. And I don't mean in a dumbed down way that would require a much more complicated explanation to get the details right; I feel like the intuitive notion is close to being enough to define the notation formally. However, I haven't managed to find such a formal definition. Still, whether or not the fundamental sequences are the underlying cause of the complexity of Hyp Cos' definition, I think there is a definite possibility for a more intuitive and simple definition.