> 　上述の３５行目は，削除したままでも他の場合においても不都合はないのでしょうか？
> 　そうであれば，削除したままにしようと思いますが，いかがでしょうか。

たぶん問題ないでしょう。
次の修正パックでは，削除する予定です。

▼関連発言
│
└◆6651:--- [---] 11/07 01:54
　├◆6652:--- [---] 11/07 11:45
　└◆6686:Re:ベクトルの矢印の形状 [留数] 11/12 08:07
　　└◆6687:Re[2]:ベクトルの矢印の形状 [tDB] 11/12 10:46
　　　└◆6689:Re[3]:ベクトルの矢印の形状 [留数] 11/12 20:33
　　　　└◆6691:Re[4]:ベクトルの矢印の形状 [tDB] 11/12 21:01
　　　　　└◆6692:Re[5]:ベクトルの矢印の形状 [留数] 11/12 21:05
　　　　　　└◆6693:Re[6]:ベクトルの矢印の形状 [tDB] 11/12 21:15
　　　　　　　└◆6694:Re[7]:ベクトルの矢印の形状 [留数] 11/12 21:18<-last