Symbolic dynamics for non-uniformly hyperbolic diffeomorphisms of compact smooth manifolds | Synapse