True, but a ton of carbon weighs exactly as much as a ton of carbon dioxide.
But I believe when they price tons of "carbon", they are actually pricing tons of CO2, of which there are 3.67 times as many.
Hence, when they apply a $10 tax to "carbon", they are actually applying a $37 tax to a ton of coal because a ton of coal produces 3.7 tons of carbon dioxide.