User blog comment:DrCeasium/HAN: better definitions/@comment-5029411-20130628001105/@comment-7484840-20130628144007

It diagonalises over the Omegas in the theta function a bit like the standard notation diagonalises over the ordinals, except in subscript. In other words, the SVO in subscripts of Omega in the theta function rather than superscripts of omega not in any function.

Probably.