Comment by periblepsis on How does one do inequality comparison of unsigned numbers with a subtractor?

I just use an adder with the subtrahend inverted and the carry in equal 1 and look at the carry out. I could write something. But what in the heck is their "subtractor" made like?