Minutes: MathML Intent meeting: 10 Dec, 2020

Notes thanks to Louis Maher. The discussion was detailed and involved
screen sharing-- it is best to listen to/view the recording:

https://us02web.zoom.us/rec/share/QEmF8jMfuBGT_1HID63xfgRDXOfPI6Hz17p0MGG4YupRUZeTfxTGvfStH2ZjZOyD.TzJ0yQeYPDJaKGYd

Access Passcode: W56%ko#P

Attendees:

Neil Soiffer

Louis Maher

Bruce Miller

David Carlisle

Deyan Ginev

Steve Noble

David Farmer

Sam Dooley

Murray Sargent



Agenda:

1. Any updates?

NS: next week, Moritz will give a presentation on schema.org.

SD: there will be an aria deep dive for Braille next week.

DG: has completed his table (Level 3 sheet), 964 entries at this stage, as
*preliminary* names with stable notations in encyclopedic resources:

https://docs.google.com/spreadsheets/d/1EsWou1K5nxBdLPvQapdoA9h-s8lg_qjn8fJH64g9izQ/edit?usp=sharing

...Taking all of levels 1,2 and 3 we now have more than 1,000 “names”.

2. The group will (once again) attempt to finish an update on Sam's ideas
for explicit and default values for intent (esp for mtable):  See

https://mathml-refresh.github.io/mathml/docs/intent.html
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmathml-refresh.github.io%2Fmathml%2Fdocs%2Fintent.html&data=04%7C01%7C%7Cbb00a25af15d426cdc6608d89c00acc0%7C84df9e7fe9f640afb435aaaaaaaaaaaa%7C1%7C0%7C637430873993493458%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=6joEo5OGpnLbc4YnHsb019c8u6GtaB29gJwh00Fo1jA%3D&reserved=0>

SD: talked about @append. Acts a bit like an unevaluated mrow.

… some don’t like that

SD: discussed bound variables.



DG: discussed mover versus msup.

SD: discussed equation arrays using tables. Mtd acts like an mrow.

SD: discussed breaking an equation over multiple rows. @append and @extend.
This is an example where you can’t eval the @append right away because the
next row might extend it.

Discussion/unease of unevaluated mrows came again. Really just want to
concatenate the two rows together. Algorithm could use look ahead and not
finish the append.

NS: what about an idea analogous to rowspan/colspan where the first mtr
says how many rows belong to it? No idea on what syntax for that is like.

DG: Really mainly want to throw away table wrappers and glom stuff
together. Maybe we should be thinking about a “next” feature. Maybe
left/right/up/down/diagonal dir to say where to get the next element.

NS: Need some way to stay “done”.

DG: Almost always want natural top/down left/right reading order, so maybe
start/stop is what is needed with default being reading order.

SD: anything other people want clarified about my proposal?

BM: still not clear on ‘@’ syntax.

NS: would like to eliminate $named variables because you have to dive into
the intent to find out what the $named variable means.

DG: I have a couple of “awkward” examples. One is a subsup, where the sup
is a ‘prime’. So one structure for deriv(index($1,$2),$3). See “awkward
nesting (1)” in https://dginev.github.io/tiny-mathml-a11y-demo. The other
is “awkward nesting(2)” -- an msub of an mover representing “an x with a
bar over it”. In this case, the structure gets flipped inside out.

NS: interesting cases, but neither require looking inside an intent.

Challenge to everyone -- find examples where there is not a simple work
around (as in the case for nested integrals) to diving inside of an
‘intent’ to reference a child.

Action Item: DG and NS will flush out their suggestions to extend SD’s
document.

NS: next meeting will be Dec 17 where Moritz will talk about schema.org and
RDFa/microdata approaches.

NS: Then a break for the holidays followed by a meeting January 7, 2021. NS
and DG to present their ideas then.