Show erased Pi as ~>.