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