Изменения

{{tick | ticked = 1}} Примеру не хватает заголовка.

{{tick}} Пример непонятен: описывается какая-то функция от четырех аргументов, но не понятно, где в примере, скажем, "множество пар вида <tex>Ax</tex> или <tex>A \neg x</tex>".