A hyperfield F is doubly distrubutive if
      (a \boxplus b) (c \boxplus d) = ac \boxplus ad \boxplus bc \boxplus bd
for any a, b, c, d in F. I will talk about several properties I found for a doubly distributive hyperfield.