Manuscript Em03-H@8 · Em03-H-v8.tex · section · 91e9e3bd
Exact signed extraction and its reached space
Exact signed extraction and its reached space · lines 746–761
Target A extracts under
Since ,
For disjoint , define .
Displayed formulas in this passage
unlabeled · line 750
unlabeled · line 755