what is the other abbreviation of the constellation that has β trianguli as its brightest star?
tria