Donald Hobson comments on Donald Hobson’s Shortform

[Donald Hobson]

Looking at formalism for AIXI and other similar agent designs. Big mess of $\sum$ and $\arg max$ with indicies. Would there be a better notation?