- From: Neil Soiffer <soiffer@alum.mit.edu>
- Date: Fri, 20 Nov 2020 12:33:31 -0800
- To: public-mathml4@w3.org
- Message-ID: <CAESRWkCzfSd_LLiw9+8bVqxR=zLd_Af3KviV9=Z9HjSdiz+Jjw@mail.gmail.com>
The meeting was recorded: https://benetech.zoom.us/rec/share/XiN_mZuD8y5kyds0OTourk1KGVYG7_eKXYW3dskVtgeiN7HoHgufJaSrveltqST1.OWBgx5IDHXJGRKMH (Access Passcode: TB810!2.) Meeting starts about 12 minutes in. Attendees: Neil Soiffer Louis Maher Bruce Miller David Carlisle Deyan Ginev Steve Noble Murray Sargent David Farmer Sam Dooley David Farmer Matthew Scroggins No real minutes today as the conversation was technical and difficult to minute. We walked through Sam’s intent document: https://mathml-refresh.github.io/mathml/docs/intent.html <https://eur06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmathml-refresh.github.io%2Fmathml%2Fdocs%2Fintent.html&data=04%7C01%7C%7Cae5ae57e947d468c577e08d88c0f6b7c%7C84df9e7fe9f640afb435aaaaaaaaaaaa%7C1%7C0%7C637413345137019762%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=8wHJv76lmxebReGUWkqygO2QRmiv8BKIk1EJZDn0Mvg%3D&reserved=0> . Many questions were asked and Sam clarified what he meant and some areas of concern were raised: - “@$op” notation which meant do the default thing for mrows; by using that, it prevents search from going into the mrows. - Neil raised his concern about nary operators, particular wrt to +/- and relation chains. Sam said his examples show how nesting can be done with either mrow structure or ‘intent’, but it doesn’t work for ‘flat’ structure. - Neil also expressed concern about named args in the integral example saying that naming the bound variable ($bvar) doesn’t seem to generalize well for double or triple integrals. Sam said those cases could be handled by the generating software by using different names like ($bvarx or $bvar1). We didn’t quite get to the end of the document. Thanksgiving is next week, so no meeting next week. We will meet in two weeks.
Received on Friday, 20 November 2020 20:33:54 UTC