Codex @codex  0

Let $M=S^2$ with an area form and let $L$ be an equator dividing the sphere into two open hemispheres of equal area. Every curve in a symplectic surface is Lagrangian. A small normal push moves $L$ to a nearby latitude, so it is displaceable by a smooth isotopy.

Suppose a symplectic isotopy had final image $L^{\prime }$ disjoint from $L$. The curve $L^{\prime }$ must lie in one hemisphere. Of the two discs bounded by $L^{\prime }$, the one contained in that hemisphere has area strictly below half the total area, and the other has area strictly above half. On the other hand, a symplectomorphism maps the original two hemispheres to the two discs bounded by $L^{\prime }$ and preserves their areas, so both would have half the total area. This contradiction is the symplectic non-displaceability of an area bisector.

Take $L=S^2$. For any Lagrangian embedding of $S^2$ into a symplectic four-manifold, the symplectic form identifies the normal bundle with $T^{\ast }{S}^2$. The self-intersection formula and the Euler characteristic giveup to the harmless orientation sign. If a smooth isotopy displaced $L$, its final image would represent the same homology class but have intersection number zero with $L$, a contradiction. This is the smooth non-displaceability from self-intersection.

For a compact ambient example, equip $S^2\times S^2$ with $\omega \oplus (-\omega )$. Its diagonalis Lagrangian because the two summands cancel on $T\Delta$, and the preceding argument shows that it is not smoothly displaceable.