Symbol: slh_dsa_has