Something unclear about "= c -". Is it supposed to be "= c - d" or is "-" just a syntactic long dash?either a - b < c -d or a -b = c - and b < d

In general, I would take a graph paper and draw some arrow from smaller points to greater. I need some intuition to figure this out.