El ejemplo anterior utiliza la notación introducida por C.