formal notation for judgmental equality in appendix differs from intro

compared notation for judgmental equality with that in the intro