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

Logical OR, AND, and NOT variants #41

Open
T0mstone opened this issue Jan 21, 2025 · 0 comments
Open

Logical OR, AND, and NOT variants #41

T0mstone opened this issue Jan 21, 2025 · 0 comments
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#4939. See the pull request description and discussion thread for additional context and concerns.

Proposal

Add the symbol variants from the following table under sym.

Character Name
⩞ LOGICAL AND WITH DOUBLE OVERBAR (Binary) eq.and
⩢ LOGICAL OR WITH DOUBLE OVERBAR (Binary) eq.or
⫬ DOUBLE STROKE NOT SIGN (Relation) not.double
⌐ REVERSED NOT SIGN (Normal) not.rev
⫭ REVERSED DOUBLE STROKE NOT SIGN (Relation) not.rev.double
⌙ TURNED NOT SIGN (Normal) not.inv
⩠ LOGICAL AND WITH DOUBLE UNDERBAR and.eq
⩙ LOGICAL OR OVERLAPPING LOGICAL AND (Relation) and.or and or.and
⩘ SLOPING LARGE AND (Binary) and.sloped (maybe and.slope)
⩚ LOGICAL AND WITH MIDDLE STEM (Binary) and.stem
⩜ LOGICAL AND WITH HORIZONTAL DASH (Binary) and.struck
⩕ TWO INTERSECTING LOGICAL AND (Binary) and.twice
⨇ TWO LOGICAL AND OPERATOR (Large) and.twice.big
⩣ LOGICAL OR WITH DOUBLE UNDERBAR (Binary) or.eq
⩗ SLOPING LARGE OR (Binary) or.sloped (maybe or.slope)
⩛ LOGICAL OR WITH MIDDLE STEM (Binary) or.stem
⩝ LOGICAL OR WITH HORIZONTAL DASH (Binary) or.struck
⩖ TWO INTERSECTING LOGICAL OR (Binary) or.twice
⨈ TWO LOGICAL OR OPERATOR (Large) or.twice.big
@MDLC01 MDLC01 changed the title Logical OR, AND, and NOT variants (Proposal 22) Logical OR, AND, and NOT 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