@sym
Test/define symbolic inequality, less than or equal to.
Examples:
sym(1) <= sym(pi) ⇒ (sym) True syms x x <= 10 ⇒ (sym) x ≤ 10
See also: @@sym/lt, @@sym/gt, @@sym/ge, @@sym/eq, @@sym/ne, @@sym/logical, @@sym/isAlways.
Package: symbolic