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.

Sign up for GitHub

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

Jump to bottom

Add LaTeX like sequence completions \land, \lor and \lnot #32564

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Add LaTeX like sequence completions \land, \lor and \lnot #32564

wants to merge 3 commits into from

Conversation

Paalon
Copy link
Contributor

@Paalon Paalon commented Jul 12, 2019

Add \land and \lor, they are synonyms of \wedge and \vee.
http://tug.ctan.org/info/symbols/comprehensive/symbols-a4.pdf, p. 32.

@ararslan ararslan requested a review from stevengj July 12, 2019 16:24
@Keno
Copy link
Member

Keno commented Jul 12, 2019

Seems reasonable to me, since it looks to be a commonly used alias.

@stevengj
Copy link
Member

I guess we should also have \lnot for \neg?

One question is whether we should simply call them \and, \or, and \not without the l prefix … TeX supposedly used the l prefix because it was already using \and, \or, and \not as part of its language rather than for typesetting.

@Paalon Paalon changed the title Add LaTeX like sequence completions \land and \lor as ∧ and ∨ Add LaTeX like sequence completions \land, \lor and \lnot Jul 14, 2019
@StefanKarpinski
Copy link
Member

I would prefer the "normal" names. \union and \inter would also be nice to have.

@fingolfin
Copy link
Member

We could add \and as well as \or -- but \not is already taken...

@inkydragon inkydragon added REPL Julia's REPL (Read Eval Print Loop) unicode Related to unicode characters and encodings labels Feb 11, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@stevengj stevengj Awaiting requested review from stevengj

Assignees
No one assigned
Labels
REPL Julia's REPL (Read Eval Print Loop) unicode Related to unicode characters and encodings
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
6 participants
@Paalon @Keno @stevengj @StefanKarpinski @fingolfin @inkydragon