Update preliminaries.tex

changed notation for judge eq to agree with appendix