应该使用哪些符号来指定乳胶中变量的版本？

Question

我想了解我们应该使用哪些符号 以便在乳胶中显示变量 的更新版本？实际上，' 和 '' 似乎可以很好地指定版本，例如：

a' ← a 和 x
b' ← a' || c
b'' ← b' || d

但我需要 更多 因为我的算法很长而且我想详细展示每个步骤。我认为 ~ 和 overline 在算法内部看起来很糟糕，尤其是当 i 用作变量时。

提前致谢

Answer 1

可以使用上标：

a⁽¹⁾ ← a 和 x
b⁽¹⁾ ← a⁽¹⁾ || c
b⁽²⁾ ← b⁽¹⁾ || d
b⁽³⁾ ← b⁽²⁾ || e
...