CREATE TABLE table_30700 ("Constellation" TEXT, "IAU abbreviation" TEXT, "Other abbreviation" TEXT, "Genitive" TEXT, "Family" TEXT, "Origin" TEXT, "Meaning" TEXT, "Brightest star" TEXT)

What is the other abbreviation of the constellation that has trianguli as its brightest star?
SELECT "Other abbreviation" FROM table_30700 WHERE "Brightest star" = 'β Trianguli'
SELECT "Other abbreviation" FROM "table_30700" WHERE "Brightest star" = 'β Trianguli'