query: Definition of $\rightarrow$.
positive_passages.docid: 134384
positive_passages.text: What does $\rightarrow$ mean in $p \rightarrow q$
negative_passages.docid: 25469
negative_passages.text: How can I label \rightleftarrows above and below?
negative_passages.docid: 1027
negative_passages.text: Why is this true? $(\exists x)(P(x) \Rightarrow (\forall y) P(y))$
negative_passages.docid: 106585
negative_passages.text: Show $d_{1}(x_{n},x)\rightarrow{0}$ if and only if $d_{2}(x_{n},x)\rightarrow{0}$.
negative_passages.docid: 9282
negative_passages.text: Prove using natural deduction $((P \land Q) \rightarrow R) \vdash (P \rightarrow R) \lor (Q\rightarrow R)$
negative_passages.docid: 1582
negative_passages.text: $f(x+1)-f(x)$ converges $\Rightarrow\frac{f(x)}x$ converges
negative_passages.docid: 35236
negative_passages.text: Proof $p \vdash q \Rightarrow p$
negative_passages.docid: 46939
negative_passages.text: Natural deduction, Proof $\vdash$ $P\Rightarrow(Q\Rightarrow P)$
negative_passages.docid: 60655
negative_passages.text: $\ker T\subset \ker S\Rightarrow S=rT$ when $S$ and $T$ are linear functionals
negative_passages.docid: 87955
negative_passages.text: How to prove that $P \rightarrow Q$ is equivalent with $\neg P \lor Q $?
negative_passages.docid: 13764
negative_passages.text: Homomorphisms from $\mathbb{Z} \rightarrow S_3$.
negative_passages.docid: 126749
negative_passages.text: Evaluate $\lim_{x \rightarrow 0} x^x$
negative_passages.docid: 91947
negative_passages.text: Proof of $ f:I_n \rightarrow I_m \Rightarrow n = m$
negative_passages.docid: 46613
negative_passages.text: What's the difference between $\equiv$ and $\leftrightarrow$ in a formal proof?
negative_passages.docid: 133494
negative_passages.text: Is right hand rule arbitrary?
negative_passages.docid: 1371
negative_passages.text: Prove that $f'(a)=\lim_{x\rightarrow a}f'(x)$.
negative_passages.docid: 83313
negative_passages.text: Showing that $\frac{\sqrt[n]{n!}}{n}$ $\rightarrow \frac{1}{e}$