Symbol: epsilon_closure