@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