「 indentation 」の語源

「へこませる」や「押し込む」という意味で、1400年頃から使われています。これは in（前置詞）と dent（動詞）を組み合わせたものです。語源的には indent（動詞1）とは異なりますが、同じように感じられていました。

1763年に、indent（動詞1）から不規則に派生した言葉です。もしこの単語が、indentationと分かれて、マージンのノッチに関する意味とへこみに関する意味の二つを明確にすることができれば便利かもしれませんが、indentionも両方で使われています。