The field extension lattice is isomorphic to the subgroup lattice; if you really wanted to, you could write this out symbolically (but I am not sure why you would want to, since it does not really convey the meaning of the theorem any better). I suppose you might say that such an isomorphism does not qualify as an equation, but that is a bit pedantic in my opinion since such isomorphisms have all the properties of an equivalence relation.