Minutes: MathML intent meeting, 10 February, 2022

 Attendees:

   - David Carlisle
   - Sam Dooley
   - David Farmer
   - Deyan Ginev
   - Moritz Schubotz
   - Murray Sargent
   - Neil Soiffer
   - Steve Noble
   - Bert Bos
   - Paul Libbrecht
   - Patrick Ion
   - Cary Supalo

Regrets:

   - Louis Maher
   - Bruce Miller

Announcements/updatesDetailed look at "core" level intent names/round table
of additions/deletions

https://docs.google.com/spreadsheets/d/1EsWou1K5nxBdLPvQapdoA9h-s8lg_qjn8fJH64g9izQ/edit#gid=1358098730

DF: we should think about this by notation. Consider "superscript", as in
A^B in TeX notation. It could mean power, transpose, if A=2: power set, set
of all functions from A to B, if A=t or T: transpose, if B=\prime:
derivative or "minutes", if A=* : complex conjugate, if A=+ or -: one-sided
limit, and more (especially in advanced math, like cohomology).

DG: Some decisions require a well-defined boundary between K12 and K14 --
we're either doing the narrower set, or the broader one. For example, is a
"Discrete Mathematics" college-level course covered?

SD: We should consider not just individual names/notations, but collections
that should be included/excluded as a unified set of names, such as the
names for content MathML elements, SI units, chemical symbols, and so on.

SD: If we agree these sets of symbols are useful, we might want a way to
list the symbol names from these sets, so a user could confirm that the
symbols they expect to see are all included.

DG: Interesting contradiction of principles. Sam made a good point about
completeness, e.g. "if we include one chemical element - include all". But
we have the opposite principle with K12/K14 window of inclusion -- most
chemical elements are never taught in high school/early college.

MS: Would like to have a "default" column. Wouldn't include so many entries
for well-defined Unicode symbols. We do need a name list for Unicode
symbols, since the official Unicode names can be too verbose or even wrong,
e.g., the Weierstrass symbol ℘ has the Unicode name "SCRIPT CAPITAL P"
which is actually wrong. We need to say how to speak the math
alphanumerics. I can supply a list of these.

SN: The distinction between "degree" for geometry and "degree" as a unit of
temperature. Also, single prime can be "minutes" as units of time or
fractions of degrees; same for double prime for seconds of time or degrees.

DG: My goal is to make the list approachable to all practitioners, and as
accessible as wikipedia, avoiding subject-specific silos. The K-theory
expert would find it much easier to add a single concept page to Wikipedia
(and our intent Level 3 list), than to create a dedicated content
dictionary.

PL: Was missing set-theory elementary things (injection etc...), group
theory elementary things (subgroup, normal subgroup, free group...). Only
having dollars and not euro, yuan or dinar is a problem. ... and has a
problem with classifying as algebra the logical operators or restricting
K12 in a definitive fashion.

CS: probability trees - conditional probability input and rendering
numerical and algebraic content

DG to CS: The decision trees example is a nice format interplay case. They
can be created as SVG+MathML, where you would use diagram-narration from an
AT that can navigate the tree edges in SVG, and can rely on math-narration
from an AT that can understand MathML, once you enter the nodes of the tree.

DG to MS: There should be no overriding or overlap between the Core and
Open lists, and they each have a healthy standalone purpose.

NS: Anything common enough should try to be added to Core, and get
dedicated+standard AT support. Anything rarer remains in Open.

DG to PI: The system-of-equations and piecewise-function intent values are
a nice contrast -- you would like to speak each of them "meaningfully" to
relay the multiple rows to the listener, rather than have them decipher
"vertically stretched left open brace" or some similar presentational
narration.

DG to PL: I can send you the export link for the spreadsheet, to reuse it
externally as a CSV