Es referido en ocasiones como el «martillo de los arrianos» (en latín, "Malleus Arianorum") y como el «Atanasio de Occidente».