Symbolic combinatorics