Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

largeop properties #76

Open
wants to merge 24 commits into
base: main
Choose a base branch
from
Open

largeop properties #76

wants to merge 24 commits into from

Conversation

davidcarlisle
Copy link
Collaborator

This PR addresses issue w3c/mathml#482

It groups the more common largeop (Unicode n-ary or integral characters) in a style similar to the default fixity list. and now explicitly references largeop from the core property list.

Currently it is a separate section although an alternative more compressed layout could be achieved by simply adding largeop
to the default fixity section and dropping teh extra wording around it, relying on the link to largeop in the core property list for the speech templates.

largeop and the fixity properties are now all links to the core property list. this highlights the fact that nofix as cuuent lused eg for diameter https://davidcarlisle.github.io/mathml-docs/intent-core-concepts/#diameter has no definition.

I'm not sure if nofix was intended to be a meta-property implying there is no property applied or if it is intended to be a real property that can be explicitly used (in which case it should be added to core property list). Currently it makes a broken link.

In order to fit integrals in this largeop list I had to increase the arity so integral:largeop{f) is $\int f$ which means the arity one form can't be used for $\int_C$ perhaps we need two properties one that does not expect the summand/integrand so can be used on the munderover and just refer to the "embellished operator"?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant