Comment by anxtyinmgmt

The first few chapters of https://courses.csail.mit.edu/6.042/spring17/mcs.pdf provides some good pointers on notation.