Whether a and b overlap with positive area (y-up variant).
a
b
The first PDF-space rectangle.
The second PDF-space rectangle.
Whether the documented condition is satisfied.
Whether
aandboverlap with positive area (y-up variant).