A mixed-method approach to normalising Dr. Math microtext | IEEE Conference Publication | IEEE Xplore