Weinstein presentations for high-dimensional antisurgery
In this paper, we give an algorithm for describing the Weinstein presentation of Weinstein subdomains obtained by carving out regular Lagrangians. Our work generalizes previous work in dimension three and requires a novel Legendrian isotopy move (the ``boat move") that changes the local index of Reeb chords in a front projection. As applications, we describe presentations for certain exotic Weinstein subdomains and give explicit descriptions of $P$-loose Legendrians.