User blog comment:SuperJedi224/Something I've been putting together/@comment-1605058-20141113062815

You have specified very precise syntax for your notation, but what I'd be interested in would me semantics. How does one "evaluate" expression in this system to check what number it defines?