The following code from a previous answer to one of my questions displays Woocommerce "Size" product attribute