Use international standards for logic operators

[adrienrougny]

No description provided.

[hasanbalci]

What do we mean here by using international standards?

[draeger]

Yes, please do! My personal preference was always to use either mathematical symbols, i.e., ∧, ∨, ⊻, ¬ or symbols from common programming languages, i.e., &&, ||, !=, ! or similar. From my perspective, it is not a good choice to have English words in those symbols as it is currently.

[hasanbalci]

There are some concerns discussed during editor's meeting. There is no common language for this and using only one type of language may not solve the problem. Needs more discussion. Which restrictions to be allowed if we want to mix notations? Augustin also suggests going with Python and continue using and, or, not. Rupert states English is the most common language so it might be good to continue using it.

[draeger]

Mathematics is the most common language.

[adrienrougny]

Discussions at COMBINE: make a vote with clear propositions:

• keep AND, OR, NOT
• use logical symbols: ∧, ∨, ¬

[cannin]

If the vote goes for the mathematical symbols, then the change would be for Level 2