Let me preface this by saying that I don't know much category theory.

I am running into a situation where I have a double category and additionally there is a multiplication. Moreover, choosing either the vertical or the horizontal arrows makes my thing a symmetric monoidal category. Has this structure been studied somewhere?