Show the price before the sale, formatted by WooCommerce.

Each example below is the actual published output of the Product regular price widget for real WooCommerce products, using the store's currency and price settings.