Скучный вопрос про темы про набор формул

[arseniiv]

Может быть, в какой-то из тем, на которые ссылают закарантиненные посты, не совсем ясно описано, что не нужно повторять доллары перед каждой переменной/функцией? В последнее время как будто чаще такие штуки наблюдаются у новых спрашивающих.

-- Вт дек 29, 2015 20:26:12 --

Очередной пример:

supawesome в сообщении #1086830 писал(а):

Добрый день, задача следующая: "Доказать секвенцию: $\forall$x$\exists$y($\Phi(x)$\&\Psi(y)) \vdash $\exists$y$\forall$x($\Phi(x)$\&\Psi(y))$ , где переменная y не имеет вхождений в формулы $$\Phi(x)$ и $&\Psi(y)$.
<…>

[provincialka]

Лучше всего спросить у самих новичков, что непонятно в справке.

[Denis Russkih]

А может, они используют какой-нибудь сайт или программу, чтобы полуавтоматически набирать формулы $\TeX$ при помощи всяких кнопочек/менюшек?.. Значки долларов проставлены с прямо-таки нечеловеческой обстоятельностью — больше похоже на текст, сгенерированный машиной.

[Lia]

Показываю, наугад: $\forall$x$\exists$y$\Phi(x,y)$.
В лучшем случае: $\forall$x$\exists$y$\Phi(x,y)$

Это результат использования $\LaTeX$-Помощника пользователями, не владеющими основами $\LaTeX$а и не изучавшими минимальную справку (эту и эту).

К Помощнику же справок никто не писал, потому просто жмутся кнопки и правятся до результата, который участнику кажется приемлемым.

[Red_Herring]

Lia в сообщении #1086904 писал(а):

Это результат использования $\LaTeX$-Помощника пользователями, не владеющими основами $\LaTeX$а

Это как раз иллюстрация к

Red_Herring в сообщении #1086944 писал(а):

Понимание это ответ не на вопрос "Как?" ("А как оно работает?"), а "Почему?" ("Почему оно работает? Какие идеи лежат в основе?").

[Anton_Peplov]

Я вот понятия не имею, какие идеи лежат в основе $\LaTeX$'a. Я просто выучил его синтаксис и пользуюсь.

[Red_Herring]

Anton_Peplov в сообщении #1087142 писал(а):

Я просто выучил его синтаксис и пользуюсь.

Всё-таки помимо синтаксиса надо иметь какое-то понимание как он работает. Помогает когда что-то идёт сильно наперекосяк. Но вообще-то говоря выучить синтаксис это прогресс по сравнению с тупым кликаньем

[Anton_Peplov]

Да чего его там выучивать, он простой как два рубля.