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
main.texto typeset the exercise below. -
Create at least one more
.texfile in the project and typeset it.
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}.