A angina variante caracteristicamente ocorre em associação com