Removed extra declarations section from lrm.tex and changed the 'r's in our syntax notation to italics, as they are syntactic categories.