The theory of overconvergent modular symbols was created by Glenn Stevens over 20 years ago, and since then the subject has had many generalizations and applications central to modern number theory (e.g. overconvergent cohomology, eigenvarieties of reductive groups, families of p-adic L-functions, just to name a few). In these notes, rather than give a systematic development of the general theo...