Миша, а как вы относитесь к замене вездесущих hence, thus, for all и т.п. на соответствующие кванторы и \Rightarrow'ы?

С одной стороны - избавляешься от проблемы "как еще сказать что-то, не проговаривая при этом третий раз thus за строку", да и компактность изложения повышается. С другой - снижается читаемость если злоупотреблять.

В русскоязычной литературе, например, иногда "кванторизуют" некоторые тривиальные моменты; а в англоязычной наоборот кажется избегают.

Что думаете?