Помогите найти обозначения для данных слов и словосочетаний

[b322730]

Помогите найти значки обозначений для данных слов и словосочетаний:

• если
• если и только если
• а именно
• удовлетворяет/удовлетворять
• допуская вольность речи
• иными словами
• критерий
• такое, что

[Sonic86]

Не, в очевидных случаях значки Вы уже знаете ($\Rightarrow,:, \Leftrightarrow$). Надеюсь, не имеются ввиду слова естественного языка, иначе смысла нет...
А вот это, например:

b322730 в сообщении #585721 писал(а):

допуская вольность речи

вряд ли поможет как-то обозначать.

b322730 в сообщении #585721 писал(а):

удовлетворяет/удовлетворять

Вот это интересно как можно обозначить? Для "удовлетворяет предикату" нужно символ для обозначения конструкции предиката

[AV_77]

(Оффтоп)

А можно поинтересоваться для чего это нужно? Мечтаете написать учебник совсем без слов?

[photon]

AV_77 в сообщении #585734 писал(а):

(Оффтоп)

А можно поинтересоваться для чего это нужно? Мечтаете написать учебник совсем без слов?

(Оффтоп)

был у нас такой преподаватель линейной алгебры - конспект состоял из кучи значков, а из слов, записанных полностью, мне припоминается только proof