丸つけペンのインクがなくなりまして。

先生たちが使っているような、インクを補充して使うタイプの丸つけペンを1本買おうかなと思ったのですが(その方がエコな気がして)、

結局、赤鉛筆にすることにしました。