path inequality operators