User blog comment:Hyp cos/R function v2.0.1/@comment-2033667-20150409173128/@comment-2033667-20150409180521

I will note, however, that the conversion I'm suggesting requires some changes to the notation rules in order to keep things simple. Hydras always operate by looking at the leftmost leaf node, whereas your notation sometimes skips ahead (e.g. in case A3). My recommendation is to roll with it -- "leftmost leaf node" (or "find the first empty pair of braces") seems much simpler to me than all the scanning rules you have here. I understand if you find this proposal too drastic, but I think it will really help here.