Comment by acrefoot

SICM has a similar complaint about ambiguous notation. See https://groups.csail.mit.edu/mac/users/gjs/6946/sicm-html/bo.... Footnote 2 in particular is worth reading for a particularly good example of problems caused by ambiguity.

SICM as a textbook is intended to be worked out entirely with a computer.