Así, para evitar una mala interpretación del concepto de cuerpo, pudimos haber escogido los símbolos formula_3 y formula_4, con lo que las leyes conmutativas se verían así: