Question: What is the other abbreviation of the constellation that has β trianguli as its brightest star?
SQL: SELECT Other abbreviation FROM table WHERE Brightest star = β Trianguli