-
Notifications
You must be signed in to change notification settings - Fork 9
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
Clarify set1#subset #5
Comments
Check if any of this has to agree with something in the MathML documentation, especially wrt the symbols used for subset and prsubset. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
When I was struggling with issue #4, it started to worry me that set1#subset was being rendered as \subset, since I'm used to interpreting that glyph as "proper subset", although I of course am aware of the "just subset" interpretation. The problem is that looking up the subset symbol in the set1 CD does nothing to dispel the ambiguity — if anything it entrenches the ambiguity by only stating transitivity as an FMP of set1#subset, notably the one property that "subset" and "proper subset" have in common!
Reading the whole of set1.xhtml does clarify the issue, since there is a separate symbol set1#prsubset that when contrasted against set1#subset clearly denotes "proper subset" (however, the MathML rendering of both are the same!), but this is not something you easily do when confused about the meaning. Therefore I would suggest adding as a first FMP of set1#prsubset the following:
This is of course a candidate for a DefMP, but that's a later issue.
Also changing the rendering to use \subseteq would be nice, but I'm not sure if there could be political issued involved in that.
The text was updated successfully, but these errors were encountered: