Improved notation in Dijkstra graphs