(This is just a summary)

Here is the hydra notations of the Pair sequence system Googleaarex analyzed.

I made a Hydra Viewer program and I used it to draw the hydra notation. (source code at github)

The hydra notation of the Pair sequence system is based on the Bashicu's explanation at SlideShare .

Very beautiful. I hope they can be help for your analysis and your proof.

Community content is available under CC-BY-SA unless otherwise noted.