Augmenting Scientific Papers with Just-in-Time, Position-Sensitive Definitions of Terms and Symbols.