Match up notation to new appendix