#1: " ----------[ D e r i v e ]---------- " User #2: " ---------- Initialization ---------- " User #3: " ---------- Operators ---------- " User #4: F(x) := EXP(x) User 2 #5: G(x) := x User #6: " (f + 2 g)(y) => e^y + 2 y^2 " User #7: " (f o g)(y) => e^(y^2) " User #8: f := User #9: g := User #10: " ---------- Quit ---------- " User