User blog comment:DrCeasium/HAN: better definitions/@comment-5150073-20140820141228

Now I found the first place where your notation is circularly defined. There are two ways to resolve n![[1 (1) 2] (1) 2]:

1) n![[1 (1) 2] (1) 2] = n![1,2 (1) 2]

2) n![[1 (1) 2] (1) 2] = n![[1]w/[1]w/[1]...[1]w/[1]w/[2] (1) 2]