You can see what patterns correspond to each axiom when hovering in the left sidebar, but not the other way around. That should be easy to add, noted!
