The IHX relation in the chemlambda strings

While hunting for RNA graph rewrites in the literature, it dawned on me that some chemlambda strings rewrites have all the ingredients of an IHX relation, only one sign is wrong. But this sign can be corrected by an AS relation. For example the FI-FO rewrite (seen as a chemical reaction) appears like this:


You can see the IHX (related to Jacobi identity) and the AS relation in the wiki page about the Kontsevich invariant.

Compare this image with the FI-FO rewrite as it appears here:


in the Chemlambda strings draft.

Or check out this handmade animation 🙂