В приведенном примере союз или соединяет два причастных оборота (знающий и изучавший — причастия). Пунктуация в нем корректна.

Использование латиницы само по себе является достаточным средством выделения, поэтому кавычки для названий, написанных латиницей, не используются. См. наш материал «Как правильно употреблять кавычки в собственных наименованиях».

К сожалению, на Ваш вопрос невозможно ответить в рамках справочного жанра.

Рекомендации есть в "Справочнике издателя и автора" А. Э. Мильчина, Л. К. Чельцовой. Они слишком объемны для цитирования в ответе "Справочного бюро", но вот одна из рекомендаций: цифровая форма для передачи количественных числительных рекомендуется, когда однозначные числа стоят в ряду с дву- и многозначными. Это как раз Ваш случай.

Верно: это то, чего сейчас не хватает.

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

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

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

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

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

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

Полагаем, можно подчеркнуть, указав над буквой я, что она обозначает два звука, подчеркнув дополнительно [й]. Хотя рассуждать можно и иначе: задание — подчеркнуть буквы, обозначающие мягкие согласные звуки, а не буквы обозначающие два звука. Что имели в виду составители задания, трудно разгадать.