Reading Proofs for Validation and Comprehension: An Expert-Novice Eye-Movement Study: Data and Analysis

These are data and analysis files from the paper "Reading Proofs for Validation and Comprehension: An Expert-Novice Eye-Movement Study". Files are in JASP format (https://jasp-stats.org).Code Book to interpret variable names:C means comprehension conditionV means validation conditionL4 means Line 4C_NonFormDwellTimeRaw dwell time on non-formulae in comprehension conditionC_FormDwellTimeRaw dwell time on formulae in comprehension conditionC_DwellRaw_L1Raw dwell time on line 1 in comprehension conditionC_DwellPercent_L1Dwell time as a percentage (of all time on proofs) on line 1 in comprehension conditionC_MeanFixDur_L1Raw mean fixation duration on line 1 in comprehension conditionC_MeanFixDurPercent_L1Mean fixation duration as a proportion of individual's average on line 1 in comprehension conditionC_PupilRightPercent_L1Mean pupil dilation as a percentage of individuals' average on line 1 in comprehension conditionC_Back177183_Proportion_L1Proportion of regressive saccades or back saccades (defined as saccades with angle 177-183) on Line 1 in the comprehension conditionC_BetwLine-L1The number of between-line saccades that end in Line 1, in the comprehension condition.C_FIrstFixTimeAsProp_L1The time of first fixation on Line 1, as a proportion of the overall reading time.