notation in appendix