シーケンスには次の2つの書き方があります。

シーケンスでは、次のように書きます。