Exact Baker–Campbell–Hausdorff formula for the contact Heisenberg algebra. (6th February 2017)