Synonyms:
ergosta-7,22-dienol ; (22e)-5α-ergosta-7,22-dien-3β-ol ; (22e)-ergosta-7,22-dien-3β-ol ; (3β,5α,22e)-ergosta-7,22-dien-3-ol ; (22e,24r)-ergosta-7,22-dien-3β-ol ; 5-dihydroergosterin ; stellasterol ; α-dihydroergosterol ; stellasterin ; 24-methyl-5α-cholesta-7,22-dien-3β-ol