II.D88 — Tau-Exponential

The tau-exponential E_tau: HolEnd(tau) -> HolEnd(tau) sends A to [A, A]. It is sigma-equivariant: E_tau(sigma(A)) = sigma(E_tau(A)) for the involution sigma.