I have a dream. I want my maths writing to magically be made into a .tex
file so that I can edit it. I want to write my papers, my exams, my lecture notes, everything, by hand, then wave a magic wand to convert them to something pretty (and editable!).
For example, could I scan in my writing and run some program which will do this for me? Or would I be able to use the Galaxy Note or Surface Pro (both of which come with usable styluses (styli?), and the Note can even read my handwriting!). Or is my dream not going to be realised just yet...
Just to be precise, I want something to do the following: when I write the following (on paper, on a tablet - I don't care!)...
- Equations: $2+3x-5=6$
- Blackboard-bold: $\mathbb{R}$ for the reals
- Maybe \mathcal also works $\mathcal{C}$?
- Maths on its own line is a must! $$e^{\pi i}=-1$$ And noticing the stuff below!
- Subscripts and superscripts, sets and other common things. $$S={x_i: x_i^2\in\mathbb{Q}}$$
- Maybe I am dreaming a bit much with this one, how about rendering the "G" in "$G$ is a group"?
- Works with align: $$ \begin{align*} 3&=1+2\ &=2+1\ &=1+1+1 \end{align*} $$
- Matrices: $$ \left( \begin{array}{ccc} 1&0&0\ 0&1&0\ 0&0&1 \end{array} \right) $$
- Finally, I want to prove theorems so it'd better recognise what is coming next...
Theorem 1 (A. Theorem). This is a theorem.
Proof. This is a proof. ∎
...then the magic wand will yield a .tex
document with the following code (with suitable environments defined etc.)
\begin{enumerate}
\item Equations: $2+3x-5=6$
\item Blackboard-bold: $\mathbb{R}$ for the reals
\item Maybe \mathcal also works $\mathcal{C}$?
\item Maths on its own line is a must!
\[
e^{\pi i}=-1
\]
And noticing the stuff below!
\item Subscripts and superscripts, sets and other common things.
\[
S=\{x_i: x_i^2\in\mathbb{Q}\}
\]
\item Maybe I am dreaming a bit much with this one, how about rendering the "G" in "$G$ is a group"?
\item Works with align:
\begin{align*}
3&=1+2\\
&=2+1\\
&=1+1+1
\end{align*}
\item Matrices:
\[
\left(
\begin{array}{ccc}
1&0&0\\
0&1&0\\
0&0&1
\end{array}
\right)
\]
\item Finally, I want to prove theorems so it'd better recognise what is coming next...
\end{enumerate}
\begin{theorem}[A. Theorem]
This is a theorem.
\end{theorem}
\begin{proof}
This is a proof.
\end{proof}
Note that the following two questions are relevant, but do not answer the above question. They are both rather outdated.
https://math.stackexchange.com/questions/7514/kindle-as-a-tool-for-mathematicians