use arrow for non-dep. arg. of path ind. hypothesis in ch. 2, close #441
Merge pull request #556 from mikeshulman/pinotation

use arrow for non-dep. arg. of path ind. hypothesis in ch. 2, close #441