A glossary as an annex sounds like a way to address this... Big-R and monoid would definitely warrant an entry.