Правило гласит:

Употребление буквы ё может быть последовательным и выборочным.

Последовательное употребление буквы ё обязательно в следующих разновидностях печатных текстов:

а) в текстах с последовательно поставленными знаками ударения ;

б) в книгах, адресованных детям младшего возраста;

в) в учебных текстах для школьников младших классов и иностранцев, изучающих русский язык.

В обычных печатных текстах буква ё употребляется выборочно. Рекомендуется употреблять ее в следующих случаях.

1. Для предупреждения неправильного опознания слова, напр.: всё, нёбо, лётом, совершённый (в отличие соответственно от слов все, небо, летом, совершенный), в том числе для указания на место ударения в слове, напр.: вёдро, узнаём (в отличие от ведро́, узна́ем).

2. Для указания правильного произношения слова – либо редкого, недостаточно хорошо известного, либо имеющего распространенное неправильное произношение, напр.: гёзы, сёрфинг, флёр, твёрже, щёлочка, в том числе для указания правильного ударения, напр.: побасёнка, приведённый, унесённый, осуждённый, новорождённый, филёр.

3. В собственных именах – фамилиях, географических названиях, напр.: Конёнков, Неёлова, Катрин Денёв, Шрёдингер, Дежнёв, Кошелёв, Чебышёв, Вёшенская, Олёкма.

Некоторые специальные символы существуют, но не все из них являются общепринятыми. Символы, которыми обозначали бы, например, всё множество гласных, обычно не используют (нет необходимости), а вот символы, обозначающий любой гласный или любой согласный — Г и С (V и C), используют в работах по структуре слога.

В целом ряде разделов лингвистики используют математический значок пустого множества для обозначения нулевых элементов (нулевых окончаний или суффиксов, нулевых связок и др.).

В генеративной лингвистике общепринятыми являются такие обозначения, как S (предложение), NP (= noun phrase, именная группа), VP (= verb phrase, глагольная группа), D (детерминатор) и мн. др., но понятны эти символы только тем, кто знаком с теорией генеративной грамматики, то есть далеко не всем лингвистам.

В типологической лингвистике широко используют сокращения типа Pst (прошедшее время), AdvPart (деепричастие), gen (родительный падеж).

В структурных схемах словосочетаний и предложений тоже используется система условных обозначений для слов разных частей речи и их форм.

Конечно, очень часто лингвисты используют символы и сокращения, которые создают сами. В одной из авторитетных лингвистических теорий второй пол. XX в. — модели «Смысл — Текст» И. А. Мельчука — используется огромное количество таких символов и сокращений: с их помощью обозначаются разные типы отношений в лексике, разные типы синтаксических отношений, но в большинстве своем это именно сокращения, а не абсолютно условные символы. Это верно и почти для всех остальных обозначений, о которых сказано выше.

Слова "при этом" не требуют обособления.

Предложенный Вами вариант вполне возможен, даже предпочтителен, чтобы не перегружать текст кавычками. Пунктуация верна.

Из Вашего очень длинного и эмоционального письма, кажется, можно сделать такой вывод: Вы считаете, что лингвисты, вместо того чтобы установить простые и понятные правила, намеренно усложняют их, подстраивая под капризы классиков, из-за чего в нашем языке плодятся десятки и сотни исключений, правильно? Попробуем прокомментировать эту точку зрения.

Во-первых, русский язык действительно живой – а как без этого тезиса? Если бы мы создавали язык как искусственную конструкцию, у нас были бы единые правила произношения и написания, мы бы аккуратно распределили слова по грамматическим категориям без всяких исключений и отклонений... Но русский язык не искусственная модель, и многие странные на первый взгляд правила, многие исключения обусловлены его многовековой историей. Почему, например, мы пишем жи и ши с буквой и? Потому что когда-то звуки ж и ш были мягкими. Они давно отвердели, а написание осталось. Написание, которое можно объяснить только традицией. И такие традиционные написания характерны не только для русского, но и для других мировых языков. Недаром про тот же английский язык (который «не подстраивают под каждый пук Фицджеральда или Брэдбери») есть шутка: «пишется Манчестер, а читается Ливерпуль».

Во-вторых, нормы русского письма (особенно нормы пунктуации) как раз и складывались под пером писателей-классиков, ведь первый (и единственный) общеобязательный свод правил русского правописания появился у нас только в 1956 году. Поэтому справочники по правописанию, конечно, основываются на примерах из русской классической литературы и литературы XX века. Но с Вашим тезисом «все справочники по языку – это не своды правил, а своды наблюдений» сложно согласиться. Русская лингвистическая традиция как раз в большей степени прескриптивна, чем дескриптивна (т. е. предписывает, а не просто описывает): она обращается к понятиям «правильно» и «неправильно» гораздо чаще, чем, например, западная лингвистика.

В-третьих, лингвисты не занимаются усложнением правил – как раз наоборот. Кодификаторская работа языковедов на протяжении всего XX века была направлена на унификацию, устранение вариантов, именно благодаря ей мы сейчас имеем гораздо меньше вариантов, чем было 100 лет назад. Именно лингвисты, как правило, являются наиболее активными сторонниками внесения изменений в правила правописания  и устранения неоправданных исключений – не ради упрощения правил, а ради того, чтобы наше правописание стало еще более системным и логичным. А вот общество, как правило, активно препятствует любым попыткам изменить нормы и правила.

См. в «Горячей десятке вопросов».

Проверка возможна, так как глагол укротить (укрощать) образован от прилагательного кроткий. 

Подлежащее (условия) стоит в форме мн. числа, значит и сказуемое должно стоять в форме мн. числа (имеются).