Talk:Logical implication

Here's a the cheapest down jacket sales.Come on. canada goose trillium

discussion section: implication symbol + membership of the fiber of L

At the very end of the "discussion" section, the text says:

   The implication sign ${}^{\backprime \backprime }\rightarrow {}^{\prime \prime }$ denotes the same formal object as the relation names ${}^{\backprime \backprime }L_{{\underline {~}}\,{\underline {~}}\,\operatorname {T} }{}^{\prime \prime }$ and ...

shouldn't the symbol rather be ${}\Rightarrow$?

Also, a little earlier, the text says:

   $L_{{\underline {~}}\,{\underline {~}}\,\operatorname {T} }\subseteq \mathbb {B} \times \mathbb {B}$ 

Shouldn't $L_{{\underline {~}}\,{\underline {~}}\,\operatorname {T} }$ be a subset of $\mathbb {B} ^{3}$ ?