Dear community,
at this stage, the pushforward of a differentiable map '\Phi' is noted by '\Phi^*'.
After some discussion with my collegues and consulting common literature (like "Smooth Manifolds" by Lee), this seems not to be the canonical notation.
I've already opened a
ticket for it without considering a discussion in here, before (sorry).
Greetings
Michael