SMT operator

×