[notation, appendix] Check and comment on appendices C-E, change symbol of differential