# User:Prime.mover

- ... some Useful $\LaTeX$ constructs

- ... and some proof structures

- ... and some stubs for journal citations

- ... and some $\LaTeX$ commands, alphabetical

- ... Alec Cooper's old date template

- ... and a cloud-based flowchart drawing package

- $\begin{pmatrix} \tilde\odot & & \tilde\odot \\ & \stackrel{\bot}{\smile} & \end{pmatrix}$

- $B_4 i \sqrt u \dfrac {r u} {16}$

## Listen here, wolfchild ...

- Information is not knowledge.
- Knowledge is not wisdom.
- Wisdom is not truth.
- Truth is not beauty.
- Beauty is not love.
- Love is not mathematics.
- Mathematics is the best...

## What's THIS For ...!

Sandbox, In Progress, Later, Help Needed.

`{{POTW Candidate}}`

*That which does not kill us makes us soggy and hard to light.*

Please sign your posts.

THE MOST COMMON ERRORS IN UNDERGRADUATE MATHEMATICS by Eric Schechter

In particular I need to look at:

"Some more advanced students (e.g., college seniors) use the implication symbol ($\implies$) as a symbol for the phrase "the next step is." A string of statements of the form

- $A \implies B \implies C \implies D$

should mean that A by itself implies B, and B by itself implies C, and C by itself implies D; that is the coventional interpretation given by mathematicians. But some students use such a string to mean merely that if we start from A, then the next step in our reasoning is B (using not only A but other information as well) and then the next step is C (perhaps using both A and B), etc.

Actually, there is a symbol for "the next step is." It looks like this: $\leadsto$ It is also called "leads to," and in the LaTeX formatting language it is given by the code \leadsto. However, I haven't seen it used very often."

- Such a distinction seems unnecessary, especially considering theorems such as Extended Rule of Implication. Surely at each step of the way we have an implied $\land$ going on everything before it? --GFauxPas 04:23, 12 February 2012 (EST)
- Just a comment...I've seen $\leadsto$ to also mean "converges to" for sequences. Andrew Salmon 17:56, 12 February 2012 (EST)
- Every notation has been used for more than one thing. The point is we need to choose one and stick to it. --prime mover 18:22, 12 February 2012 (EST)

- Just a comment...I've seen $\leadsto$ to also mean "converges to" for sequences. Andrew Salmon 17:56, 12 February 2012 (EST)
- What about $\therefore$, i.e. 'therefore' (given by \therefore)? It is relatively unambiguous, but little known/used. I have come to prefer words when other people have to read my work as well; in all other cases, $\implies$ suffices instead. --Lord_Farin 19:03, 12 February 2012 (EST)
- I've seen cogent arguments elsewhere as to why not to use $\therefore$ but, shrug, do I care nowadays ...--prime mover 01:08, 13 February 2012 (EST)

Okay, see Definition:Distinction between Logical Implication and Conditional where I have laid down the law.

the generalization of the tarski-vaught test is also a standard statement of the theorem, and while slightly more general, it does not really require much more of a proof, hence the modication.--Yaddie 17:33, 6 March 2012 (EST)

- ... but as I say, please make the statement as a separate section of this page. As soon as I've finished what I'm currently doing I'll get onto it. --prime mover 17:36, 6 March 2012 (EST)