Symbol: is_cross_tgs_principal