Multi step evaluation relation

The Reflexive closure and Transitive closure of the One-step evaluation relation. The relation is often denoted as $\to^*$.