Discovering Mathematical Objects of Interest—A Study of Mathematical Notations