Abstract This note concerns Loomis–Whitney inequalities in Heisenberg groups $$\mathbb {H}^n$$ Hn : $$\begin{aligned} |K| \lesssim \prod _{j=1}^{2n}|\pi _j(K)|^{\frac{n+1}{n(2n+1)}}, \qquad K \subset \mathbb {H}^n. \end{aligned}$$ xmlns:mml="http://www....