The act of writing again or anew.

Something that has been written again.

(mathematics, computing) The replacement of subterms of a formula with other terms, according to certain rules, by way of transformation.

(transitive) To write again, differently; to modify; to revise.

(transitive) To write again (without changes).

(mathematics, computing) To replace subterms of a formula with other terms, according to certain rules, by way of transformation.