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