WordPress: ottenere il prezzo formattato di un prodotto di WooCommerce

In WordPress possiamo ottenere il prezzo formattato di un prodotto di WooCommerce.

La soluzione è la seguente:

global $product;

echo $product->get_price_html();