# 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 ${\displaystyle {}^{\backprime \backprime }\rightarrow {}^{\prime \prime }}$ denotes the same formal object as the relation names ${\displaystyle {}^{\backprime \backprime }L_{{\underline {~}}\,{\underline {~}}\,\operatorname {T} }{}^{\prime \prime }}$ and ...


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

Also, a little earlier, the text says:

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


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