Embeddings into symbolic dynamical systems