Penrose_graphical_notation loading ...