Let $X$ be a vector field on some manifold $M$, $Y \subset M$ a submanifold.
What does it mean for $X$ to be transversal to $Y$ , denoted $Y \pitchfork X$?
It appears in my lecture in the following definition:
$(M, \omega)$ symplectic. A hypersurface $W \subset M$ is called of contact type, if there exists a vector field $Y$ defined on a neighborhood of $W$ in $M$, s.t.
1)$Y \pitchfork W$
2)$L_Y \omega = \omega$