Tutorial 0. Preamble
Exercise sheet
Overleaf
-
Go to https://www.overleaf.com/ and make an account (if you don’t have one already).
-
Read through the tutorial here .
Create project
-
Set up a new (blank) project in your Overleaf.
-
Give it a suitable project name, like “Assignments logical methods”.
-
Share that project with at least one of your fellow students.
-
Use
to typeset the exercise below.main.tex -
Create at least one more
file in the project and typeset it..tex
Latex-gymnastics
Typeset the following in \LaTeX. Don’t take shortcuts, figure it out yourself using the tutorial and tools like detexify !
-
0\in\mathbb{N}, but \omega\notin\mathbb{N}.
-
\mathbb{N}=\set{0,1,2,\mathellipsis}
-
e^{i\pi}-1=0
-
\frac{1}{2}+\frac{3}{4}=\frac{5}{2}
-
\forall x, x\mapsto x+2
-
1\overset{!}{\neq}0
-
(x_i)_{i\in \mathbb{N}}=(x_1, x_2,\dots)
-
\square\phi\supset \phi
-
f(x)=\sum_{i\in I}f_i(x)^{-\frac{1}{2}}
-
\LaTeX
-
This is \textbf{boldface}, this is \textit{italic}, this is \textsf{sans}, and this is \texttt{code}.
Solutions
-
0\in\mathbb{N}, but \omega\notin\mathbb{N}. -
\mathbb{N}=\{0,1,2,\mathellipsis\} -
e^{i\pi}-1=0 -
\frac{1}{2}+\frac{3}{4}=\frac{5}{2} -
\forall x, x\mapsto x+2 -
1\overset{!}{\neq}0 -
(x_i)_{i\in \mathbb{N}}=(x_1, x_2,\dots) -
\square\phi\supset \phi -
f(x)=\sum_{i\in I}f_i(x)^{-\frac{1}{2}} -
\LaTeX -
This is \textbf{boldface}, this is \textit{italic}, this is \textsf{sans}, and this is \texttt{code}.