Запятая в подобных случаях ставится.
Это однородные сказуемые.
Предложение корректно.
Специального правила о выборе формы названия при родовом слове созвездие нет, но можно отметить некоторые тенденции. Например, на форму названия влияет его «одушевленность-неодушевленность» (созвездие Большой Медведицы, созвездие Девы, но созвездие Южный Крест, созвездие Северная Корона). В современной специальной литературе обычны сочетания с формой именительного падежа (созвездие Большая Медведица, созвездие Рак, созвездие Орион).
Тире — это длинная черточка, которая отделяется от предшествующего и последующего текста пробелами, а дефис — короткая черточка, которая пробелами не отделяется. Если нет возможности поставить длинную черточку, то в функции тире используют короткую с пробелами до и после нее.
Правильно: зиждется, зиждутся, как указано в орфографическом словаре. В «Большом орфоэпическом словаре русского языка», к сожалению, допущена опечатка.
Это корректное оформление диапазонов дат. Для более компактной записи можно использовать цифры вместо названий месяцев.
По правилам русской пунктуации запятая перед одиночным союзом и при перечислении однородных членов не ставится: Не используйте накрывающие электроплиту вспомогательные предметы, крупные металлические пластины и прочие керамические изделия.
Некоторые специальные символы существуют, но не все из них являются общепринятыми. Символы, которыми обозначали бы, например, всё множество гласных, обычно не используют (нет необходимости), а вот символы, обозначающий любой гласный или любой согласный — Г и С (V и C), используют в работах по структуре слога.
В целом ряде разделов лингвистики используют математический значок пустого множества для обозначения нулевых элементов (нулевых окончаний или суффиксов, нулевых связок и др.).
В генеративной лингвистике общепринятыми являются такие обозначения, как S (предложение), NP (= noun phrase, именная группа), VP (= verb phrase, глагольная группа), D (детерминатор) и мн. др., но понятны эти символы только тем, кто знаком с теорией генеративной грамматики, то есть далеко не всем лингвистам.
В типологической лингвистике широко используют сокращения типа Pst (прошедшее время), AdvPart (деепричастие), gen (родительный падеж).
В структурных схемах словосочетаний и предложений тоже используется система условных обозначений для слов разных частей речи и их форм.
Конечно, очень часто лингвисты используют символы и сокращения, которые создают сами. В одной из авторитетных лингвистических теорий второй пол. XX в. — модели «Смысл — Текст» И. А. Мельчука — используется огромное количество таких символов и сокращений: с их помощью обозначаются разные типы отношений в лексике, разные типы синтаксических отношений, но в большинстве своем это именно сокращения, а не абсолютно условные символы. Это верно и почти для всех остальных обозначений, о которых сказано выше.
Такое употребление верно.