――を入・れる 朱筆で書き入れや訂正などをする。朱筆を加える。朱を入れる。