どちらもご指摘の通りですね。
訂正したものと差し替えました。

▼関連発言
│
└◆8225:re4207a.tex [st] 07/03 09:55
　└◆8226:Re:re4207a.tex [tDB] 07/03 10:16<-last