What is the other abbreviation of the constellation that has trianguli as its brightest star?
CREATE TABLE table_30700 (
    "Constellation" text,
    "IAU abbreviation" text,
    "Other abbreviation" text,
    "Genitive" text,
    "Family" text,
    "Origin" text,
    "Meaning" text,
    "Brightest star" text
)
SELECT "Other abbreviation" FROM table_30700 WHERE "Brightest star" = 'β Trianguli'
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What is the other abbreviation of the constellation that has trianguli as its brightest star? ### Input: CREATE TABLE table_30700 (
    "Constellation" text,
    "IAU abbreviation" text,
    "Other abbreviation" text,
    "Genitive" text,
    "Family" text,
    "Origin" text,
    "Meaning" text,
    "Brightest star" text
) ### Response: SELECT "Other abbreviation" FROM table_30700 WHERE "Brightest star" = 'β Trianguli'