Open adrienrougny opened 6 years ago
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.
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.
Mathematics is the most common language.
Discussions at COMBINE: make a vote with clear propositions:
If the vote goes for the mathematical symbols, then the change would be for Level 2
What do we mean here by using international standards?