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

subset and supset variants #40

Open
T0mstone opened this issue Jan 21, 2025 · 1 comment
Open

subset and supset variants #40

T0mstone opened this issue Jan 21, 2025 · 1 comment
Labels
proposal This may still need discussion

Comments

@T0mstone
Copy link
Collaborator

T0mstone commented Jan 21, 2025

Context

This proposal is based on typst/typst#4924. See the pull request description for additional context and concerns.

Proposal

Add the symbol variants from the following table under sym.

Character Name
⫉ SUBSET OF ABOVE ALMOST EQUAL TO subset.approx
⫏ CLOSED SUBSET subset.closed
⫑ CLOSED SUBSET OR EQUAL TO subset.closed.eq
⫃ SUBSET OF OR EQUAL TO WITH DOT ABOVE subset.eq.dot
⫅ SUBSET OF ABOVE EQUALS SIGN subset.equiv
⫋ SUBSET OF ABOVE NOT EQUAL TO subset.nequiv
⟃ OPEN SUBSET subset.open
⪿ SUBSET WITH PLUS SIGN BELOW subset.plus
⫇ SUBSET OF ABOVE TILDE OPERATOR subset.tilde
⫁ SUBSET WITH MULTIPLICATION SIGN BELOW subset.times
⫊ SUPERSET OF ABOVE ALMOST EQUAL TO supset.approx
⫐ CLOSED SUPERSET supset.closed
⫒ CLOSED SUPERSET OR EQUAL TO supset.closed.eq
⫄ SUPERSET OF OR EQUAL TO WITH DOT ABOVE supset.eq.dot
⫆ SUPERSET OF ABOVE EQUALS SIGN supset.equiv
⫌ SUPERSET OF ABOVE NOT EQUAL TO supset.nequiv
⟄ OPEN SUPERSET supset.open
⫀ SUPERSET WITH PLUS SIGN BELOW supset.plus
⫈ SUPERSET OF ABOVE TILDE OPERATOR supset.tilde
⫂ SUPERSET WITH MULTIPLICATION SIGN BELOW supset.times

Note that all those characters have the math class Relation.

@T0mstone
Copy link
Collaborator Author

As I mentioned on Discord, I don't like subset.equiv since it isn't related to equiv at all, rather being a variant of subset.eq.

In response, the existence of lt.equiv was brought to my attention, which is just as bad in my opinion.

@MDLC01 MDLC01 changed the title subset and supset variants (Proposal 18) subset and supset variants Jan 21, 2025
@T0mstone T0mstone added the proposal This may still need discussion label Jan 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
proposal This may still need discussion
Projects
None yet
Development

No branches or pull requests

1 participant