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