  We construct a form of the $D_4^+$-singularity of fronts in $R^3$ which uses
coordinate transformation on the source and isometry on the target. As an
application, we calculate differential geometric invariants near the
$D_4^+$-singularity, and give a Gauss-Bonnet type theorem for fronts allowing
to have this singularity.
