Penrose diagramatic notation

From The Road to Reality. It is formalized in [Malament 2012], see Penrose abstract index notation
notacionpenrose1.png

notacionpenrose2.png

notacionpenrose3.png