Penrose's graphical notation