diff options
| author | Camil Staps | 2016-02-02 20:01:20 +0100 |
|---|---|---|
| committer | Camil Staps | 2016-02-02 20:01:20 +0100 |
| commit | b502e5e42660f45f4ca4595f8063d015fed572bb (patch) | |
| tree | 1ac558cc0a68e333416824b155a6126d5918a487 | |
| parent | Initial commit (diff) | |
start task 1
| -rw-r--r-- | .gitignore | 30 | ||||
| -rw-r--r-- | senc.sty | 12 | ||||
| -rw-r--r-- | task1.tex | 24 |
3 files changed, 66 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..4cb0742 --- /dev/null +++ b/.gitignore @@ -0,0 +1,30 @@ +*.aux +*.glo +*.idx +*.fdb_latexmk +*.fls +*.log +*.toc +*.ist +*.acn +*.acr +*.alg +*.bbl +*.blg +*.dvi +*.glg +*.gls +*.ilg +*.ind +*.lof +*.lot +*.maf +*.mtc +*.mtc1 +*.out +*.pdf +*.swp +*.synctex.gz +_minted-*/ + +!wiley.pdf diff --git a/senc.sty b/senc.sty new file mode 100644 index 0000000..17c1186 --- /dev/null +++ b/senc.sty @@ -0,0 +1,12 @@ +\RequirePackage{amssymb,amsmath,stmaryrd} + +\def\A#1{\mathcal{A}\left\llbracket#1\right\rrbracket} +\def\B#1{\mathcal{B}\left\llbracket#1\right\rrbracket} +\def\N#1{\mathcal{N}\left\llbracket#1\right\rrbracket} +\def\s{s\;} + +\def\x{\mathtt{x}} + +\def\tt{\mathbf{tt}} +\def\ff{\mathbf{ff}} + diff --git a/task1.tex b/task1.tex new file mode 100644 index 0000000..3816fba --- /dev/null +++ b/task1.tex @@ -0,0 +1,24 @@ +\documentclass{article} + +\usepackage[dutch]{babel} + +\author{Camil Staps} +\title{Semantiek \& Correctheid\\\Large{Leertaak 1}} + +\usepackage{senc} + +\begin{document} + +\maketitle + +\section*{1.8} +\begin{alignat*}{3} + \B{\lnot(\x=1)}\s &= \tt && \text{want}\\ + \B{\x=1}\s &= \ff && \text{want}\\ + \A{\x}\s &\neq \A{1}\s && \text{want}\\ + \s\x &\neq \N{1} && \text{want}\\ + 3 &\neq 1. +\end{alignat*} + +\end{document} + |