Interior Integration Measure for n-1 Dimensional Boundary

Hi @hawkspar, it looks like you were able to implement discontinuous jumps in dolfinx. From my understanding of your post here https://fenicsproject.discourse.group/t/zero-internal-neumann-boundary/7261/4 you are modeling NS equations with CG velocity elements and DG pressure element, right? My application is for solid mechanics (Navier-Cauchy eq.), which DG elements is needed for the vector field. So I am wondering if your formulation would also work if velocity is DG and pressure is CG?