If you want to change selection, open original toplevel document below and click on "Move attachment"
Parent (intermediate) annotationOpen itthe non-standard notation f ∗ (P) and f ∗ (Q) used in the first edition to the standard notation f (P) and f −1 (Q), respectively. Whereas the author still finds the notation used in the first edition superior in terms of avoiding confusion with inverse functions, he has deferred to requests from col
Original toplevel document (pdf)
- (no access) - Proofs_and_Fundamentals.pdf, p13