Rudolf Adamkovič <salu...@me.com> writes:
FYI: I have just discovered that this bug screwed up a paper I submitted to
university this week. In the paper, I wrote the following: "[…] every term
$t\in{}q$ with $idf(t)>c$ for some constant $c$ […]", and the "idf(t) > c" part
got exported as "idf(t)". I cannot fix the paper at this point. Uh-oh!
R+
--
"Logic is a science of the necessary laws of thought, without which no
employment of the understanding and the reason takes place." -- Immanuel Kant,
1785
Rudolf Adamkovič <salu...@me.com>
Studenohorská 25
84103 Bratislava
Slovakia
[he/him]
