Но в лисповом стиле это всё было бы лучше, конечно:
## Код:
```
аесли (И (= закавыченЛи¿ 0)
             (ИЛИ (= текСимв Ю32.Симв32КонцаТекста)
                (= текСимв Пробел)
                (= текСимв ТАБ)
                (= текСимв ОткрывающаяКруглаяСкобка)
                (= текСимв ЗакрывающаяКруглаяСкобка))) то
```

В префиксной форме, но на Обероне, тоже ничего:
## Код:
```
аесли И(закавыченЛи¿ = 0, 
               ИЛИ(текСимв = Ю32.Симв32КонцаТекста,
                 текСимв = Пробел,
                 текСимв = ТАБ,
                 текСимв = ОткрывающаяКруглаяСкобка,
                 текСимв = ЗакрывающаяКруглаяСкобка)) то
```

Последнее особенно внезапно - количество скобок сократилось с 14 (или с 18, включая декоративные) до 4, выражение читается слева направо и сверху вниз (не нужно искать голову списка), не нужно парсить приоритеты операций, 4 (или 7-кратное) повторение слова "или" свернулось до 1-кратного. Здесь, конечно, крупно повезло, но это пример из жизни, а не синтетический, я не мухлевал. Я начинаю всерьёз думать о том, чтобы в Яре-23 сделать префиксную форму булевых операторов основной, а инфиксную - вспомогательной (с наценкой, что-нибудь типа ☼и, ☼или и т.п.)