I'm trying to wrap my mind around Hay's "Universal semimeasures", where he proves some very interesting equivalences.
In order to follow all the derivations, it would be very useful if there was a tool to draw binary trees and do some outlining of the branches, sub-trees, etc. Do you know of anything like that?