{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T12:30:30Z","timestamp":1776083430415,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":78,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,29]],"date-time":"2023-10-29T00:00:00Z","timestamp":1698537600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,10,29]]},"DOI":"10.1145\/3586183.3606731","type":"proceedings-article","created":{"date-parts":[[2023,10,20]],"date-time":"2023-10-20T20:46:22Z","timestamp":1697834782000},"page":"1-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["FFL: A Language and Live Runtime for Styling and Labeling Typeset Math Formulas"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-8016-5985","authenticated-orcid":false,"given":"Zhiyuan","family":"Wu","sequence":"first","affiliation":[{"name":"Department of Computer and Information Science, University of Pennsylvania, United States"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-2053-1680","authenticated-orcid":false,"given":"Jiening","family":"Li","sequence":"additional","affiliation":[{"name":"Department of Computer and Information Science, University of Pennsylvania, United States"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-8077-4650","authenticated-orcid":false,"given":"Kevin","family":"Ma","sequence":"additional","affiliation":[{"name":"Department of Computer and Information Science, University of Pennsylvania, United States"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9620-1533","authenticated-orcid":false,"given":"Hita","family":"Kambhamettu","sequence":"additional","affiliation":[{"name":"Department of Computer and Information Science, University of Pennsylvania, United States"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1523-3347","authenticated-orcid":false,"given":"Andrew","family":"Head","sequence":"additional","affiliation":[{"name":"Department of Computer and Information Science, University of Pennsylvania, United States"}]}],"member":"320","published-online":{"date-parts":[[2023,10,29]]},"reference":[{"key":"e_1_3_2_2_1_1","first-page":"786","article-title":"Reading mathematics: More than words can say","volume":"56","author":"Adams Thomasenia\u00a0Lott","year":"2003","unstructured":"Thomasenia\u00a0Lott Adams. 2003. Reading mathematics: More than words can say. The Reading Teacher 56, 8 (2003), 786\u2013795.","journal-title":"The Reading Teacher"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1056808.1056872"},{"key":"e_1_3_2_2_3_1","volume-title":"Retrieved","author":"Azad Kalid","year":"2023","unstructured":"Kalid Azad. An Interactive Guide To The Fourier Transform. Retrieved July 25, 2023 from https:\/\/betterexplained.com\/articles\/an-interactive-guide-to-the-fourier-transform"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"crossref","unstructured":"Alan Blackwell and Thomas Green. 2003. Notational Systems\u2014The Cognitive Dimensions of Notations Framework. In HCI Models Theories and Frameworks: Toward a Multidisciplinary Science. Morgan Kaufmann 103\u2013134.","DOI":"10.1016\/B978-155860808-5\/50005-8"},{"key":"e_1_3_2_2_5_1","volume-title":"Qualitative HCI Research: Going Behind the Scenes","author":"Blandford Ann","unstructured":"Ann Blandford, Dominic Furniss, and Stephann Makri. 2016. Qualitative HCI Research: Going Behind the Scenes. Morgan & Claypool Publishers."},{"key":"e_1_3_2_2_6_1","volume-title":"An introduction to linear mixed-effects modeling in R. Advances in Methods and Practices in Psychological Science 4, 1","author":"Brown A.","year":"2021","unstructured":"Violet\u00a0A. Brown. 2021. An introduction to linear mixed-effects modeling in R. Advances in Methods and Practices in Psychological Science 4, 1 (2021)."},{"key":"e_1_3_2_2_7_1","volume-title":"Proceedings of the Symposium on Visual Languages and Human-Centric Computing. 25\u201334","author":"J.","unstructured":"Carrie\u00a0J. Cai and Philip\u00a0J. Guo. 2019. Software Developers Learning Machine Learning: Motivations, Hurdles, and Desires. In Proceedings of the Symposium on Visual Languages and Human-Centric Computing. 25\u201334."},{"key":"e_1_3_2_2_8_1","unstructured":"David\u00a0P. Carlisle. 1997. Thecolorpackage. CTAN-Archive."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1190\/tle35080703.1"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242587.3242600"},{"key":"e_1_3_2_2_11_1","volume-title":"Proceedings of the Workshop on Human Aspects of Types and Reasoning Assistants. ACM.","author":"Crichton Will","year":"2022","unstructured":"Will Crichton. 2022. A New Medium for Communicating Research on Programming Languages. In Proceedings of the Workshop on Human Aspects of Types and Reasoning Assistants. ACM."},{"key":"e_1_3_2_2_12_1","unstructured":"Curvenote. Equation. Retrieved July 12 2023 from https:\/\/curvenote.dev\/article\/equation"},{"key":"e_1_3_2_2_13_1","volume-title":"Peggy. Retrieved","year":"2023","unstructured":"Joe\u00a0Hildebrand David\u00a0Majda and open-source contributors. Peggy. Retrieved July 22, 2023 from https:\/\/peggyjs.org\/index.html"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2047196.2047229"},{"key":"e_1_3_2_2_15_1","volume-title":"Proceedings of the International Conference on Intelligent User Interfaces. ACM, 236\u2013238","author":"N.","unstructured":"Anton\u00a0N. Dragunov and Jonathan\u00a0L. Herlocker. 2003. Designing intelligent and dynamic interfaces for communicating mathematics. In Proceedings of the International Conference on Intelligent User Interfaces. ACM, 236\u2013238."},{"key":"e_1_3_2_2_16_1","unstructured":"Emily Eisenberg and Sophie Alpert. KaTeX. Retrieved September 16 2020 from https:\/\/katex.org"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.2307\/2340521"},{"key":"e_1_3_2_2_18_1","volume-title":"Retrieved","author":"Froumentin Max","year":"2020","unstructured":"Max Froumentin. Mathematical Markup Language (MathML). Retrieved September 16, 2020 from https:\/\/www.w3.org\/Math\/whatIsMathML.html"},{"key":"e_1_3_2_2_19_1","volume-title":"Canis: A High\u2010Level Language for Data\u2010Driven Chart Animations. Computer Graphics Forum 39","author":"Ge Tong","year":"2020","unstructured":"Tong Ge, Yue Zhao, Bongshin Lee, Donghao Ren, Baoquan Chen, and Yunhai Wang. 2020. Canis: A High\u2010Level Language for Data\u2010Driven Chart Animations. Computer Graphics Forum 39 (2020)."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3491102.3517494"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1177\/0963721417704888"},{"key":"e_1_3_2_2_22_1","unstructured":"Google. Retrieved July 7 2023. Google Slides. https:\/\/slides.google.com"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3313831.3376804"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.5964\/jnc.v6i2.243"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3411764.3445648"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3491102.3501932"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290605.3300809"},{"key":"e_1_3_2_2_28_1","volume-title":"Awesome Mathematical Notation Design. Retrieved","author":"Fred","year":"2023","unstructured":"Fred Hohman and other contributors. 2020. Awesome Mathematical Notation Design. Retrieved July 22, 2023 from https:\/\/github.com\/fredhohman\/awesome-mathematical-notation-design"},{"key":"e_1_3_2_2_29_1","first-page":"65","article-title":"A Simple Sequentially Rejective Multiple Test Procedure","volume":"6","author":"Holm Sture","year":"1979","unstructured":"Sture Holm. 1979. A Simple Sequentially Rejective Multiple Test Procedure. Scandinavian Journal of Statistics 6, 2 (1979), 65\u201370.","journal-title":"Scandinavian Journal of Statistics"},{"key":"e_1_3_2_2_30_1","volume-title":"Annotate equations in LaTeX using TikZ. Retrieved","author":"John ST","year":"2023","unstructured":"ST John and other contributors. Annotate equations in LaTeX using TikZ. Retrieved July 6, 2023 from https:\/\/github.com\/st\u2013\/annotate-equations"},{"key":"e_1_3_2_2_31_1","unstructured":"Project Jupyter. Retrieved July 22 2023. jupyter-renderers. https:\/\/github.com\/jupyterlab\/jupyter-renderers"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0115069"},{"key":"e_1_3_2_2_33_1","volume-title":"The Program","author":"Knuth E.","unstructured":"Donald\u00a0E. Knuth. 1986. TeX : The Program. Addison-Wesley."},{"key":"e_1_3_2_2_34_1","volume-title":"Retrieved","author":"Labs Bell","year":"2023","unstructured":"Bell Labs. Unix Programmer\u2019s Manual. Retrieved July 22, 2023 from https:\/\/www.bell-labs.com\/usr\/dmr\/www\/man71.pdf"},{"key":"e_1_3_2_2_35_1","volume-title":"MathPad2: A System for the Creation and Exploration of Mathematical Sketches. ACM Transactions on Graphics","author":"LaViola J.","year":"2004","unstructured":"Joseph\u00a0J. LaViola and Robert\u00a0C. Zeleznik. 2004. MathPad2: A System for the Creation and Exploration of Mathematical Sketches. ACM Transactions on Graphics (2004), 432\u2013440."},{"key":"e_1_3_2_2_36_1","volume-title":"NiCE Formula Editor. In ACM SIGGRAPH 2010 Talks. ACM.","author":"Leitner Jakob","year":"2010","unstructured":"Jakob Leitner, Christian Rendl, Florian Perteneder, Adam Gokcezade, Thomas Seifried, Michael Haller, Robert Zeleznik, and Andrew Bragdon. 2010. NiCE Formula Editor. In ACM SIGGRAPH 2010 Talks. ACM."},{"key":"e_1_3_2_2_37_1","volume-title":"\u201cthinking-aloud","author":"Lewis Clayton","unstructured":"Clayton Lewis. 1982. Using the \u201cthinking-aloud\u201d method in cognitive interface design. IBM TJ Watson Research Center Yorktown Heights, NY."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3550469.3555395"},{"key":"e_1_3_2_2_39_1","volume-title":"Retrieved","author":"Litt Geoffrey","year":"2023","unstructured":"Geoffrey Litt, Max Schoening, Paul Shen, and Paul Sonnentag. Potluck: Dynamic documents as personal software. Retrieved July 12, 2023 from https:\/\/www.inkandswitch.com\/potluck\/"},{"key":"e_1_3_2_2_40_1","unstructured":"Digital Science\u00a0UK Ltd.Overleaf. Retrieved July 22 2023 from https:\/\/www.overleaf.com\/"},{"key":"e_1_3_2_2_41_1","unstructured":"Zyba Ltd.Retrieved July 7 2023. CodeCogs Equation Editor. https:\/\/editor.codecogs.com\/"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3479547"},{"key":"e_1_3_2_2_43_1","unstructured":"Lars Madsen Will Robertson and Joseph Wright. 2014. The mathtools package. CTAN-Archive ctan.org."},{"key":"e_1_3_2_2_44_1","volume-title":"Mastering algebra retrains the visual system to perceive hierarchical structure in equations. Cognitive research: principles and implications 1","author":"Marghetis Tyler","year":"2016","unstructured":"Tyler Marghetis, David Landy, and Robert\u00a0L. Goldstone. 2016. Mastering algebra retrains the visual system to perceive hierarchical structure in equations. Cognitive research: principles and implications 1 (2016)."},{"key":"e_1_3_2_2_45_1","volume-title":"Craft beautiful equations in Word with LaTeX. Nature 570, 7760","author":"Matthews David","year":"2019","unstructured":"David Matthews. 2019. Craft beautiful equations in Word with LaTeX. Nature 570, 7760 (2019), 263\u2013264."},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2669485.2669495"},{"key":"e_1_3_2_2_47_1","unstructured":"Microsoft. Retrieved July 7 2023. PowerPoint. https:\/\/microsoft.com\/powerpoint"},{"key":"e_1_3_2_2_48_1","unstructured":"Microsoft. Retrieved July 7 2023. Write an equation or formula. https:\/\/support.microsoft.com\/en-au\/office\/write-an-equation-or-formula-4f799df7-4ca4-4670-afd3-6135768b01d0"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360569"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1515\/semi.2011.054"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318464.3384405"},{"key":"e_1_3_2_2_52_1","volume-title":"Retrieved","author":"Murad Jousef","year":"2023","unstructured":"Jousef Murad. Derivation of the Navier-Stokes Equations. Retrieved July 22, 2023 from https:\/\/www.youtube.com\/watch?v=zWdnf3Uh1RE"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3576840.3578309"},{"key":"e_1_3_2_2_54_1","unstructured":"Bui\u00a0Duc Nha. Retrieved July 7 2023. Mathcha. https:\/\/www.mathcha.io\/"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3472749.3474748"},{"key":"e_1_3_2_2_56_1","volume-title":"Bluefish: A Grammar of Discrete Diagrams. Master\u2019s thesis.","author":"Pollock Joshua\u00a0Maxwell","year":"2022","unstructured":"Joshua\u00a0Maxwell Pollock. 2022. Bluefish: A Grammar of Discrete Diagrams. Master\u2019s thesis."},{"key":"e_1_3_2_2_57_1","unstructured":"The\u00a0 LaTeX Project. Retrieved July 7 2023. LaTeX . https:\/\/www.latex-project.org"},{"key":"e_1_3_2_2_58_1","volume-title":"Programming and Coding. The Art, Science, and Engineering of Programming 3, 1","author":"Rein Patrick","year":"2018","unstructured":"Patrick Rein, Stefan Ramson, Jens Lincke, Robert Hirschfeld, and Tobias Pape. 2018. Exploratory and Live, Programming and Coding. The Art, Science, and Engineering of Programming 3, 1 (2018)."},{"key":"e_1_3_2_2_59_1","unstructured":"Grant Sanderson. 3Blue1Brown. Retrieved September 8 2021 from https:\/\/www.youtube.com\/c\/3blue1brown"},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3411764.3445460"},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.2307\/3002019"},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2016.2599030"},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmathb.2014.06.003"},{"key":"e_1_3_2_2_64_1","unstructured":"Open source contributors. Retrieved July 22 2023. markdown-it. https:\/\/github.com\/markdown-it\/markdown-it"},{"key":"e_1_3_2_2_65_1","unstructured":"Open source contributors. Retrieved July 7 2023. Inkscape. https:\/\/inkscape.org\/"},{"key":"e_1_3_2_2_66_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1045-926X(05)80012-6"},{"key":"e_1_3_2_2_67_1","unstructured":"The Manim Community Developers. 2023. Manim \u2013 Mathematical Animation Framework. https:\/\/www.manim.community\/"},{"key":"e_1_3_2_2_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2004.35"},{"key":"e_1_3_2_2_69_1","volume-title":"Proceedings of the 1999 TEX Annual Meeting, TUGBoat, Vol.\u00a020","author":"Topping Paul","year":"1999","unstructured":"Paul Topping. 1999. Using MathType to create TeX and MathML equations. In Proceedings of the 1999 TEX Annual Meeting, TUGBoat, Vol.\u00a020."},{"key":"e_1_3_2_2_70_1","volume-title":"Retrieved","author":"Victor Bret","year":"2021","unstructured":"Bret Victor. Tangle: a JavaScript library for reactive documents. Retrieved August 15, 2021 from http:\/\/worrydream.com\/Tangle\/"},{"key":"e_1_3_2_2_71_1","unstructured":"W3C. SVG. Retrieved July 22 2023 from https:\/\/www.w3.org\/TR\/SVG2\/"},{"key":"e_1_3_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.1109\/FTC.2016.7821641"},{"key":"e_1_3_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.2307\/3001968"},{"key":"e_1_3_2_2_74_1","unstructured":"Krist Wongsuphasawat. Labella.js. Retrieved September 16 2020 from https:\/\/twitter.github.io\/labella.js\/"},{"key":"e_1_3_2_2_75_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2015.2467191"},{"key":"e_1_3_2_2_76_1","volume-title":"Article 144","author":"Ye Katherine","year":"2020","unstructured":"Katherine Ye, Wode Ni, Max Krieger, Dor Ma\u2019ayan, Jenna Wise, Jonathan Aldrich, Joshua Sunshine, and Keenan Crane. 2020. Penrose: from mathematical notation to beautiful diagrams. ACM Transactions on Graphics 39, Article 144 (2020)."},{"key":"e_1_3_2_2_77_1","first-page":"70","article-title":"Effects of Computer-Based Visual Representation on Mathematics Learning and Cognitive Load","volume":"18","author":"Yung I.","year":"2015","unstructured":"Hsin\u00a0I. Yung and Fred Paas. 2015. Effects of Computer-Based Visual Representation on Mathematics Learning and Cognitive Load. Educational Technology and Society 18 (2015), 70\u201377.","journal-title":"Educational Technology and Society"},{"key":"e_1_3_2_2_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866029.1866035"}],"event":{"name":"UIST '23: The 36th Annual ACM Symposium on User Interface Software and Technology","location":"San Francisco CA USA","acronym":"UIST '23","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques","SIGCHI ACM Special Interest Group on Computer-Human Interaction"]},"container-title":["Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3586183.3606731","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3586183.3606731","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T23:50:58Z","timestamp":1755820258000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3586183.3606731"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,29]]},"references-count":78,"alternative-id":["10.1145\/3586183.3606731","10.1145\/3586183"],"URL":"https:\/\/doi.org\/10.1145\/3586183.3606731","relation":{},"subject":[],"published":{"date-parts":[[2023,10,29]]},"assertion":[{"value":"2023-10-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}