User blog comment:TechKon/C Notation/@comment-25418284-20140202202325

I like this one, and the definition makes sense. I have a challenge for you: express this notation inductively.