Не, в очевидных случаях значки Вы уже знаете (

). Надеюсь, не имеются ввиду слова естественного языка, иначе смысла нет...
А вот это, например:
допуская вольность речи
вряд ли поможет как-то обозначать.
удовлетворяет/удовлетворять
Вот это интересно как можно обозначить? Для "удовлетворяет предикату" нужно символ для обозначения конструкции предиката
