To mince, hold the tip of the knife down toward the cutting board and rock the blade of your knife over the mound of diced onion, pivoting as you go.
After cutting the onion in half, simply move to the last step of dicing omitting the first two cuts.