Marek Běhálek Wiki - Recent changes [en]

PLC Project

Beh01 — Tue, 24 Mar 2026 07:38:11 GMT

Expression

@@ Line 52: / Line 52: @@
 | unnary minus
 | <code>-</code>
-| <math>I \rightarrow  I \lor  F \rightarrow  F </math>
+| <code>I → I ∨  F →  F </code>
 |-
 | binary arithmetic operators
 | <code>+, -, *, /</code>
-| <math>I \times I \rightarrow  I \lor  F \times F \rightarrow  F </math>
+| <code>I × I → I ∨ F × F → F</code>
 |-
 | modulo
 | <code>%</code>
-| <math>I \times I \rightarrow  I </math>
+| <code>I × I → I </code>
 |-
 | concatenation of strings
 | <code>.</code>
-| <math>S \times S \rightarrow  S </math>
+| <code>S × S → S</code>
 |-
 | relational operators
 | <code>< ></code>
-| <math>x \times x \rightarrow  B,~where~x \in \{I, F\}</math>
+| <code>x × x → B, where x ∈ {I, F}</code>
 |-
 | comparison
 | <code>== !=</code>
-| <math>x \times x \rightarrow  B,~where~x \in \{I, F, S\}</math>
+| <code>x × x → B, where x ∈ {I, F, S}</code>
 |-
 | logic and, or
 | <code>&&, <nowiki>|</nowiki><nowiki>|</nowiki> </code>
-| <math>B \times B \rightarrow  B </math>
+| <code>B × B → B </code>
 |-
 | logic not
 | <code>!</code>
-| <math>B \rightarrow B</math>
+| <code>B → B</code>
 |-
 | assignment
 | <code>=</code>
-| <math>x \times x \rightarrow  x,~where~x \in \{I, F, S, B\}</math>
+| <code>x × x → x, where x ∈ {I, F, S, B}</code>
 |}