Какие инструменты,приспособления применят при правки?

Для правки могут использоваться инструменты, такие как ручка, карандаш, ластик, резинка, линейка.