Talk:Transversality theorem

⫛

The symbol ⫛ redirects here, and although it is used, it is never defined. Dpleibovitz (talk) 07:09, 13 February 2020 (UTC)

The definition of the "pitchfork" ⫛ is in Transversality theorem § Previous definitions:

Let $f\colon X\rightarrow Y$ be a smooth map between smooth manifolds, and let $Z$ be a submanifold of $Y$. We say that $f$ is transverse to $Z$, denoted as $f\pitchfork Z$, if and only if for every $x\in f^{-1}\left(Z\right)$ we have that

$\operatorname {im} \left(df_{x}\right)+T_{f\left(x\right)}Z=T_{f\left(x\right)}Y$.

Note the emphasized part "denoted as $f\pitchfork Z$". The pitchfork appears in TeXified math fragments only, and this means that you get zero results if you use the search function of your browser to look for the pitchfork character ⫛ on the Transversality theorem page. I don't know how to fix this. – Tea2min (talk) 08:22, 13 February 2020 (UTC)