In this survey we will present the symbolic extension theory in topological dynamics, which was built over the past twenty years.