[petsc-users] Looking for a quick example of a symmetric KKT system

[Patrick Sanan]

Are there any examples already in PETSc or TAO that assemble such a
system (which could thus be dumped)? SNES example ex73f90t assembles a
non-symmetric KKT system.