That's great you picked this out, thanks folks! Now if I could sort out the notation issues, that would please me; namely that definitions can be made and terms displayed, including in dynamic content, using a compact notation. But there's a difficulty here: before the definitions are made using specialised notation, the syntax needs to be activated. And in dynamic content, until the notation is activated, it does not appear in the output; and this is why the dynamic outputs above are so verbose if exposed. Is there a way to load the Notations package and evaluate notational definitions before the remaining initialisation cells are invoked, in a portable way (it can probably be done by specifying a file to preload before the notebook is opened, but that wouldn't help the scenario here)? And is there a way to fine tune the order in which initialisation cells are evaluated, or is it a built-in feature that they are evaluated in the order they appear in a notebook? Well I'd better review the documentation before I get pointed back to it!