@sym
Logical "or" of symbolic arrays.
Examples:
sym(false) |sym(true) ⇒ (sym) True
syms x y z x & (y |z) ⇒ (sym) x ∧ (y ∨ z)
See also: @@sym/and, @@sym/not, @@sym/xor, @@sym/eq, @@sym/ne, @@sym/logical, @@sym/isAlways, @@sym/isequal.
Package: symbolic