SMS dit: Dirichlet forms and symmetric Markov processes