A relational symbol combining succession and approximation to indicate a value that is approximately greater than another in ordered sets.

A relational symbol combining succession and approximation to indicate a value that is approximately greater than another in ordered sets.