大きなレコード型を定義する際には、文章内で\(\mathord {\textnormal {\textsf {Record}}}\mathopen {\{ \negmedspace |}x_{1}:A_{1},\dots ,x_{n}:A_{n}\mathclose {|\negmedspace \} }\)と書く代わりに縦に並べて

• -\(x_{1}:A_{1}\)
• -\(\vdots \)
• -\(x_{n}:A_{n}\)

と書くことがある。レコード型の要素を定義する際にも同様に縦に並べて書くことがある。