How Michelin star restaurants cut their onions

Apparently there is a very specific way that Michelin star restaurant chefs cut onions. It is unlikely that you cut onions this way at home and you probably shouldn't bother anyway.