Text this: Dirichlet forms and symmetric Markov processes