introduced: symbols for paths