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