Karrensymbol in Woocommerce
<?php echo do_shortcode("[woo_cart_but]"); ?>
Dev
<?php echo do_shortcode("[woo_cart_but]"); ?>