## between

Generally we add a tilde to distinguish between quantities associated with $\tilde{G}$ and those associated with $G$.
The assignment of $K_1$ to $K$, and of $T_1$ to $T$, defines a functor between the category of commutative algebras and the category of compact semigroups with continuous homomorphisms.