\HOLty[of]{(=)}