2-signature <Diagram: J, C; T> fixed-in CAT
  Data
    0-morph
      J : Cat
      C : CAT
    1-morph
      T : J -> C

2-signature <Cocone: J, C; T, x; μ> fixed-in CAT
  Inherit <Diagram: J, C; T>
  Data
    1-morph
      x : 1 -> C
    2-morph
      μ : T => ! * x
        : J -> C

人間が読みやすいように中身を展開したものをコメントとして添えておくか？

2-signature <Cocone: J, C; T, x; μ> fixed-in CAT
  Inherit <Diagram: J, C; T>
  --Data
  --  0-morph
  --    J : Cat
  --    C : CAT
  --  1-morph
  --    T : J -> C
  Data
    1-morph
      x : 1 -> C
    2-morph
      μ : T => ! * x
        : J -> C

高次圏を考慮した指標の書き方 - 檜山正幸のキマイラ飼育記 (はてなBlog)