Symbol Sense: Informal Sense-Making in Formal Mathematics.