(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.