Open
Description
How should the input text representation look like
Example: p \not\in {q}
How should the ASCII art output look like
Example: p ∉{q}
other use cases include (⊄, ⊅, ≱, ∄)
{{ message }}
No one assigned
No projects
No milestone
None yet
No branches or pull requests