Symbol: Sigma0_512