SICP doesn't seem to mention anything about ``figs''. Didn't have anything about peano axioms either.
Anyone know what ≧, ≦ mean? I came across it in a 1950s calculus text and in hardy's a course of pure mathematics. It doesn't seem to be used anymore as I see no use of it in any equivalent modern calculus textbooks or other math textbooks.