Remove local notation
Pushforward construction