KAT: an Annotation Tool for STEM Documents. - Tom Wiesing; Felix Schmoll (FM4M/MathUI/ThEdu/DP/WIP@CIKM, 2016)