Thread:Googleaarex/@comment-7176363-20150616222921/@comment-7176363-20150621182606

Could someone please explain to me what 0->{1}(1)->{x}, (1)->{x}, and (0(1)->{x+1} mean in Warp Notation?