which has the advantage of emphasizing that T is a map, and thus the "mapsto" notation ↦ ↦ , whereas ϕ ϕ ′ ′ ( − − t , x → → ) = s ϕ ϕ ( t , x → → ) is a factual statement relating the old and new fields to one-another.