Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm studying vector spaces and I'm reading a proof where the authour uses the symbols




when proving a theorem. He doesn't use them in context, but rather before starting a part of the proof.

How should I read this? Does it have anything to do with symbols and notation in logic?

Seems Gerry's answer is the case. I'll just add the example:

Proposition 1.10

Let $V$ be a $K$-vector space, and let $S \subseteq V$. Then $S$ is a subspace of $V$ if and only if:

  1. $\mathbf{0} \in S$
  2. $\mathbf{v},\mathbf{w} \in S\Rightarrow \mathbf{v}+\mathbf{w}\in S$
  3. $\lambda \in K,\mathbf{V}\in S\rightarrow \lambda \cdot \mathbf{v}\in S$


$(\Rightarrow)$ It is immediate [sigh] to verify that if $S$ is a subspace of $V$ then $1$,$2$ and $3$ hold.

$(\Leftarrow)$ $1.$ ensures $S \neq \emptyset $ $2.$ implies that $+$ is an operation in $S$. $3.$ implies that $\cdot$ is an action.

Asociativity and conmutativity are deduced from their validity in $V$, the neutral element from $1.$, and the inverse additive from $3$. The properties of the action are deduced from their validity in $V$.

share|cite|improve this question
up vote 7 down vote accepted

He's probably proving a statement of the form "$A$ if and only if $B$", and he's using the first arrow to indicate he's starting the proof of the $A$ implies $B$ part, and the second arrow to indicate he's starting the proof of the $B$ implies $A$ part.

share|cite|improve this answer
I added the example. It seems it is the case you're explaining, isn't it? – Pedro Tamaroff Mar 8 '12 at 5:16
Ha! I just taught that theorem a couple of days ago! Yes, I think my answer fits what you've added. – Gerry Myerson Mar 8 '12 at 6:20
Great! I accepted. I reached my vote limit, so, I owe you a vote. What does "AB (Harvard)" mean? (I was just peeking your Univ. profile) I guess MS means Master in Science or something of the sort. – Pedro Tamaroff Mar 8 '12 at 6:23 Bachelor of Arts, but in Latin (so something like Artis Bacca-something-or-other). – Gerry Myerson Mar 8 '12 at 6:37
@GerryMyerson It's artium baccalaureus, – Doug Spoonwood Mar 9 '12 at 4:03

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.