In some Markdown parsers, occurrences of "--" outside backticks/backquotes (those used to make code blocks) are replaced with a single endash (–). This makes the "Leads To" operator (-->) show up as a single endash (resulting in "–>"). This is bad since UPPAAL only accepts "-->".
While "-->" looks correct on GitHub, it does not in the production documentation (https://docs.uppaal.org/language-reference/requirements-specification/symb_queries/).
Thus, I replaced all "" blocks with backtick/backquote blocks to ensure correct output and identical formatting everywhere.
Also made small refactoring of descriptions of "Possibly" and "Potentially always" operators.
In some Markdown parsers, occurrences of "--" outside backticks/backquotes (those used to make code blocks) are replaced with a single endash (–). This makes the "Leads To" operator (-->) show up as a single endash (resulting in "–>"). This is bad since UPPAAL only accepts "-->". While "-->" looks correct on GitHub, it does not in the production documentation (https://docs.uppaal.org/language-reference/requirements-specification/symb_queries/). Thus, I replaced all "" blocks with backtick/backquote blocks to ensure correct output and identical formatting everywhere.
Also made small refactoring of descriptions of "Possibly" and "Potentially always" operators.