+++
title = "Insertion of multiple η's"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a8g1a"]
forwardlinks = ["3a8g5i"]
zettelid = "3a8g1b"
+++

As mentioned in the discussion on the renaming of the eta functions
([\#3a8g5i]), the renaming of the η functions is not actually that
straightforward either. As there can be multiple instances of η
functions for the same variable, this means that one has to insert
multiple new variables for the current variable. This means that the
renaming has to take that into account, and may rename the registers to
various different names.

  [\#3a8g5i]: /zettel/3a8g5i