Add symmetric predicate to matrix.pl

Also update README