From 1cae1942f3d8e03b296db2912314baa0195917bd Mon Sep 17 00:00:00 2001 From: Leon Vatthauer Date: Wed, 20 Mar 2024 15:13:19 +0100 Subject: [PATCH] Create template --- tex/.vscode/ltex.dictionary.en-US.txt | 2 + tex/.vscode/settings.json | 27 ++++++ tex/Makefile | 15 ++++ tex/main.pdf | Bin 0 -> 13473 bytes tex/main.tex | 115 ++++++++++++++++++++++++++ 5 files changed, 159 insertions(+) create mode 100644 tex/.vscode/ltex.dictionary.en-US.txt create mode 100644 tex/.vscode/settings.json create mode 100644 tex/Makefile create mode 100644 tex/main.pdf create mode 100644 tex/main.tex diff --git a/tex/.vscode/ltex.dictionary.en-US.txt b/tex/.vscode/ltex.dictionary.en-US.txt new file mode 100644 index 0000000..c55e3aa --- /dev/null +++ b/tex/.vscode/ltex.dictionary.en-US.txt @@ -0,0 +1,2 @@ +Vatthauer +mycase diff --git a/tex/.vscode/settings.json b/tex/.vscode/settings.json new file mode 100644 index 0000000..fdce008 --- /dev/null +++ b/tex/.vscode/settings.json @@ -0,0 +1,27 @@ +{ + "latex-workshop.latex.tools": [ + { + "name": "latexmk-main", + "command": "latexmk", + "args": [ + "-synctex=1", + "-interaction=nonstopmode", + "-file-line-error", + "-shell-escape", + "-pdf", + "-xelatex", + "-outdir=%OUTDIR%", + "main.tex" + ], + "env": {} + } + ], + "latex-workshop.latex.recipes": [ + { + "name": "latexmk-main", + "tools": [ + "latexmk-main" + ] + } + ] +} \ No newline at end of file diff --git a/tex/Makefile b/tex/Makefile new file mode 100644 index 0000000..a6b7fd5 --- /dev/null +++ b/tex/Makefile @@ -0,0 +1,15 @@ +src = $(wildcard *.tex) +pdf = $(src:.tex=.pdf) + +.PHONY: all clean + +all: $(pdf) + +%.pdf: %.tex $(wildcard src/*.tex) $(wildcard *.bib) + latexmk -pdf -xelatex -shell-escape -file-line-error -synctex=1 -halt-on-error -shell-escape $< + +clean: + latexmk -C $(src) + rm -f $(wildcard *.out *.nls *.nlo *.bbl *.blg *-blx.bib *.run.xml *.bcf *.synctex.gz *.fdb_latexmk *.fls *.toc *.loe *.tdo *.bbl-SAVE-ERROR) + rm -f $(wildcard src/*.aux) + rm -rf $(wildcard _minted-main src/.auctex-auto _region_.prv) diff --git a/tex/main.pdf b/tex/main.pdf new file mode 100644 index 0000000000000000000000000000000000000000..85ab2fe35599a45112a8edb6562b29ac1246ee79 GIT binary patch literal 13473 zcmb80Wo%tbwyhmIW@g5i+1t#_w9U-S%*^(V*^Zf+W9FDKW@ct)is_xcdeZHF_o!dr ze@jbiRY_y0sy>Z5ivlPn!N9`E4o9(neen#(!a~AK;$UnI$H&JcVP)%T=FB8vYvgJs zW@h4GYQ`jIW^dtYNdn+z6A*xNadkE`vV-$n{Q+!K=odn{cmch9Q9N8$0qK&UlJk&z zM3P0ZU_yRwF*oSrCn9N8&Jg%x`$9mh497z{S7_4ecH3UtUfpdyI0g4d3B#x)!pwoo zVTOSt=+a3jr5(0>Lp6vLAyuxV6)PxAoIqc>>LKviy_%^(@FQjrHLJJ9KfNfQPyx<1k_EJehcQ}*%bgtS zS2*Qqyuy4?=R;Vz|?W%Y)ObTK=G7&#E1f7aV#%K7)1=*8~NJ3?7uiJI7d+ z5E+q~Qg`iCY_HUsRs7__sThMHOKZ-ZH_t!f(oK%+VjJ1cj6dwFIGZ4Da$va%2Ss`LdV>Wg&d;{n+pOzO;1pp}KR!4S|k_ zE6U%Fhv5?J?P-7>CRZdv9z&hJ)cd`?S*zUo%8}x>^&(rEgZKfHivmHHfK%u^5ZGBP zpNE8U#VfT4QQ*}(+sVPl5qRn4O3P<<|f{g3Fi$+Z-EM>`Z>&YoZcGYfu*$?Aatu24c zM?(IV!$BnBL-jpo-oi8ENTB-bS~ z+I5`_i+|5-QaRgjaZKfT>Q=e-WRb|^9`g&3`dJYDH&$@`XIA{nMxi%rU=zZO0(R{o zC{DyHaidsSLn2bj0CUzn={`N2mX!@O!FtHw@;_AgQybXFG^)3oZLhu`W({@dpP`V< zT-&ZRE3_3O0am%aNeK+SbkzxYsLwdu|8(zq! ze2cB+%YF18AfLx@Y_~D&Jtt$jdIz)1KaHh`>Q8%RKe&Q+vG`tnPU~6kLM#z%HUEQQ zQY(t}pzHxr8whci#Wv_FumN;M^PYgjsj1l}-(*uxIWJA%`OA=p6MG!>h204Jj*Y33 ziyZ8iaZLL@AsbQ}O7XIX&SuhI@qpQs`u(D;Mfb94staj4)#C(eSs~tU$e7UN zpiFR}t2dvGXn~HTt3HA8mqVte;#xajSEcA7ImkhMlS*4Pe8{*hVUJabojd5lh-}@z zG2%bkMpyx?|FR|$xBg+o@YXxsZ7T~1uiBnOq!K;U4gatCTi9|G%2>qwjspZ;sQffZ zf)p>8I6a&i08DC}EKh3)^}$i>*%gS<{kG(_bdA~0zLTd43UoU(KKX>4yfE)H-iDV` zAIiE4OvDj;)9?p(6R4{%l;elKv~Q6M)A3IyH9M(C>?_p;E|^OfJzDW0Kk$ zO7-}4cUCt2((&X|vztBayJv9t&+>r@34Lpf`QHmX4EecGslf4he2o-}|(NE~Zp($#0luSlf znmi`7Izz{lN{GO4A*(=935!gItcGloweV!f0rJ%S(mfhd@!1W(32v+8Q@nLrAFCQ?VuR8+7V+ji_-`av1vY0E5W%x6DG_R&?VCEdw71H#wRhU=GYHv%iSo?)w&G!({Njvf? z9E{e4>chiIl;Kq^r{{zYcAQAl0}r~ry7JAIWIo_nhhNSxJP2~B$}lh!b>sFEsd2rj zrzjwcA~6zEOha!|_rt}c1u1?_uNRo_C<{z-CtsZ_QkN zikq>km!lbzsI-`bgT1TjU(d{<{|;{efPXo3W7J`R7#et&?&0=q4dh0aDhhjNk1*C^ zV)C8SdQ6=TnsG5pF#Y3><6x}J1vt?A8D9KUNG;$XY$a%vm_BPhboqJZ(%&HIMLmQP z_l;W_S}%Ei&JO;-azK+>hu*@^*I)kcpIe{5p8Ph*NmJ3urNbHYQt~*`C>7cgl!LlG!o01p#}I`15Kc{q$4 zh`!}GxCGbKn-rFbMVP3fA0Knwe~hOTIP4ebWfpP9yj__FT>L0YT({pj~ zd1-i-750t>uD>rxTSax_9Z8^|LKN|G8f6D}7Gd{M$40N#G22zF`?N^Yp9%#>u3IWfO1zYE z*7s^flp}unK<1l@(L>H|?kY`~d3f#hr^g=+=Pq3S zSlEk6hJKXlf=S9Ti4SEpfQ}9kzQM~~K<0)%6u<>BMb)N^UCm;tVJu}KTYi^Aj~ZrO zY2yZRQWuPn>gST4MI1+}cATSRmHgV%QTQr>LPyd=`-Xkc+LMcvS9#_9mswgBzw#Vl zoc@)RnPkj(wqV@%++1{aZT1qD(@9^HfG6lN*5+ch>lg0sE6t5MzkG#=xdWxJDBkL) znUGgg+4zu{qcqTLLo@Am;|rXOU2PuNzQb0n8y+vXz~`;blYzlHSL3(-DJ?p}>A^n) zKDyvX)K7Zum5&&0&8Z`+nmcal6`f|1=LdOh z^Nbkv!iMVh8^1Bdt*V@9kX9Dn&2S?!%HHMsaFND3qn#-fN|H~OvL2p@>bK^rGEVmU zfF7bXTwHF&9)>uH@lzQWw&rhy%5RB^*jP0i03qHumx5cE(#dxj&4+WP1y}?og7p;mye#@ zS*U~LDHOxQsZILr`?eh}!{yRn1-pvU!_tDSr1?7MW)PkrFl1;(9TYF-Wg0INEH_Mr z;lv^g#0r_2X1o!r6GGp{Y;JqIr{BLm&Xz_$fKt=^{8Sc|GJ@k=*Ev?VH{J2FN)@~w ziGFByAm@IMqu+l@v>rHAFh~Biwb_VjC}|bxdAjiZr!+eM8T=-Eg@qGvP1IDFes}Ma z_Q0Rsh+nG0Xqn;GWfac*F&kCIho=ZHc2>~VKEOlY_>_#{`6zZ&fxSZ>QH9g##9UTe z$-nHKU;$rai&*31H`$+NDXjNn?Xz57I_D)Y-{((1a<3%QfhP!N6rurE2yt3$kl8QI zWQ$h! zb0YoU@iOl!7|_+O(|F*hHldWcEiPbQ@hX) zkEyS{kFpoFvHWp;dX|l`8CkEN(yCDK_v#-=?)+N<6iHa{q6dG~-s>uOk7yP+BtBS(eucw=S z727SB88~*NuO3NN9;^@FS<4l@S_AcqboiO_TmOIySs3u2&e_3F7)(6hOzS5m`Eil@9A3WHZ45L2!B$bZ8_fdA&9e-rEg{+Ui~3=QK^n1L9;EVQ259!M}W zIq)^g)0S0WrQKj|XDpLq9zUb85O z$`l@@;&s60ghyely$?R1VY*BH;%^3)UY)$5_M2E|w5_(s$>^5eoK}415%%L_UknDQ zklHm=p3M3VA(`Az)&mAAQBBSe!H|3pNtxNp74@N-NUPAxE|~zFO+d0F%*?=R;CNu~ zAG5leGg9(+3%7O~j5EaT@2a@tL}MihPZgUMJKZF#uSzlY{sX<%bxp8RD;A1POI(Ir z8KpDF4>B6LDH*>Fr**8cF(t~*p2%knrkQLPdBk$4WE#(wIJIe6trARD%{h1b3bI7` zETx$pE*^VWHppo+k_GR{X)~0vW_om^Vwz1(M6w;4iWSRpl$4DteN#!^V%ptsgOx_L zQU4h!D;52n?I^R&)dVTEguV2bRX#yb@@9@j#@a}g98+{qd8}Mbm9HsfRfs})bl#md zOs4pLo-utOXP#0S{hjYO4gN#qra}OIEkmC4W6F7QR?69d-7V@NNk`f*tY;nqwJ5v6 zkn0UZ?eVK6U+`*#0oNo)Bi7YKT`S$#iDFC+ow`1K{jPlad20_f&xExD*Y@iZc-n9fP zIxQPv%P5&)8YqV*?V`O+pZM~@{Q6Z1u!h7ow^JkFMM!AHIN>m0 zT{C`B=3MA)Az!EhD$xd+S3)ME;JD(8pplvqjgzt(#(HDgUM(T?#*L#on3>SZSg=06 ztf+USCJ+aJ_y~gszT;_(rP%>08E9vJm^_UC_N5%7-4BSKY$&bB6ugZEj~&o?GgPO! zc<{#nevc#9Sfd_Kl2>c_*lHFSRCqU@nRISGfYC#K|Y5u(pb()*DSGl~T; zmD9}>XrA-7`osV3PTU;xz0>^RC-B!<7`8;j=K*XA`rpsiQbnYoaSA8e6i#U zN6d2Cb+zW|*D!q_+Twm>!mHzAPjCCKDJDxiHVn?g-Mp(cVoub!e%ulGXX9`mt*W`2 zO3$Q>DmOoep$novG4`i$4HVWx)h|V3RIOWW1TVcf>8i^|XX!rX&)kq%0?K^149+L* z0&cOgl%HL;eWLOV{hz`@2TYpn(3KKs#R%Hnf#I)cQ!YYZ>G48Y#*e)Vh*G zdY9>gYb=tzHHuJBl4W(bfJEgEq;{_L$=3m5-}~(Wi<)@z-d-Ob3|ds@AS`4*#qa&K z;w~`zHvzDM7#kcEQ@?J28&n{li6?@MW95LEpK*JA-o2M1L~(b4(8PY*w>L<=xVzUY zVe8)FQ$G0XqtxN_Bj3*4xBGr%cXJzZzx19Y3SuH)G^w-c_)^4pnQ4oMn&sP3fnu%% zvO#AumCrJ!O{;L#o<|}j_2c?x@YN%)l>KVOBOM&Tg`jPznQg$SCs)a4KGiN#RoU z2ZP>t+}7!jCF%LWS^S^=kn`7p{_)APb$@uZ&sc}f$jl9mOg)C#aDB!uvTz+s=>bKB zg7E;jPmLM(+SPaQc0gx(GIQmV-AXGO#VQ_@^^F?W-MBG^8zJ|Q;~{*=`V6c0PXP2@0$>&-mDu9Yknf( zYdE4(V5Mqs)g&EEu!!SMJ@fr#CT8APOZ~lt^NtN{p8^2M;BmT4l>&g?!L4 ztw3__mm&;BBR+=RbXecCv|QX!RplERt7%Vq9s*hxe(^+H97^Xma^@$wFu;l24nwQR z9~qME)DLj@oWQ7B>17OC9u5efXg{hx@mXRth9#Va#!7bWMdRA@=%`4Lx0>1bmKEUG zgu+mXG*}VGoN=GPV-&*;czPjoG2QOIR8ck}RAC{i@6+smk!jxvv@aeb*q$;j1{b8r^1pj+{}8~)-LGX zmFcQZyiQDI&cU*fO|FOqea`ou*e+b_kWAAvH%}~|7F?Fpb7IAr#NP>YczD=mJmT#DNQB;SOrl;c(vUw)t+7T~n(YwLhEN!z-%p!NEGkkq$BlZCG1? zm>e?YCHG2rP8Bffvk81c7uu|BlibDA}=xE3^A3X%k4Scjv$_;~!UH3}Ku z7BNEn@k&s({Jo7V%lt**!axDG`SjS1CTI#@MFp|%mJGA|K%e!l*oogTUubhqD){B@ zBqNEgKA6hvkv!_)g^<#*Av(=7>`3iZQ%;Ya1oK@|D!vZ#^_bN@4!XNSciRuJk`ehl z-v$ia`R`gDY~riJN02#HuIX8pqVoD<*1fSu{TxT6CkL78Tpx9KNBY)!eKZ(DgX2Kw zRAwLxoEE$!5rL-!a4IP)t66QyE_zksTU%Xjrj&N&-8cz7j5s{X}-P!tee~iAKN5PkYF^!vU!}?iC!I;OeirZTMzKG_W%; zY|x8BTceNwk?3JtvdLjjGoRQVJ;X|%y>->)D&mEpE3mAXeV=Rn7I@BIr!pr_ybhk| zDuZi{f}wwAgGBvyC^L8=+Hx?rE$G=+z`ND$hKjGHsnC{>ljCWw-xhtNPm z-pDiE=JEXlBhwns8fU)&5m$dTI`&N7s>)n+N9dz{($U*7rYuYpm3UM0IM#h}4wE8? zX-{z2_tH&Eis~jyf}6$cvlFh8SKrjI6W={;v3>z=PxTPxaNTco`|*OA@STG}QBSlG zL6wB%j!cB3qcIiv5}ltj^f{dv?Yzmtas-|F99jl;pdcD^EQLz|FK?Sz-xn8h5(jUB zA~C4T2fwLs&+~@6{sd(^c3RhGk0mdf(iB;!H!TrDSL#l)p3j=z#kM5)8<}3>TTG8l zf!1zTN3W$y3WSCiYS?0IYC()|l33Sx9kS{d3J)xTynRXTKC@T|dMi0k_x;FxiTDkn ze!acD!~*M|g*jDEsvHZm)8kv!ywk3yPdT}xp;b2=GdD`DlC@fRo#m}Z&$@y#8)M2% zc4SM{h6ZypLq)Tup)^N}Lr+zCyWWEAxm4X;J|AR~Prirmrv(7}?p=8l4Kf@r5hGDh&=-;Fw|5C*MD;3!`L{V}yRdq77gfVjj14GLL_xzi& z|0!|#-@*ofmHl5}BSsxw6?xUkDgz#{I>rZqrm9SYTtP(NaLxrSS#RChTkY zwG@m3nu;oUfl!}38L~Ltln@whPH<$fja?H_rCDn8=_=7#rTf`QU2|oV$8oKXd$3+d zNA=P9cowhA<=fL|_v^;z=j9JW04`;MRB*~qO%s4MYe|H>PXBQ=6vNq7%>MArUOw72 z*d7h6BJ?$S(c2xss9t%sI2lnKMsj#GTM+j428VK#_`soKI1lXLZg&YroqKd^ro#6N zJVFoovXm{`BRvOE$M<*9f_UlxST@1YB9jzy7Tgq7*~RGi+S+t@xpXbt3V}h9DHwS8 zfWfWF{BI)1#jAhC0uxy|GB&J<$Hk=gAQbQ7QOd`XSrs|l##reYyhJM%0AYVsX|;Jc z`<(Zp=>(f1V!ny8@Gt<}N zG?hWQkVfoseK2I20(n!$`ZUZ^8<%N%nWPIvrLqHd-yMi`}>Pfq8}?DE5S#n zEu1m0YJFOq%ibyl9DsM2$y|;zlIPoYEeoY9mcHzn7K(IS>R+cNI`Q34d4(*Lbzd^~ zvqoZMqZf3}@aZbgo{m~N4+>WC6q4DKs3yrL@)B3-uC6Q)%6L=`ZyNZ;S*@jy-es4CH9Tj z_xt>OC8Jxti`o#S;c{QmV4~P9rJr6z`tO>c92vyf9kppSbtDCkE(2{zBAc!8d8G%Q zDZFfn!OxjXQ3eB#XY%T$>Gq$+zFc_an=R-(&e@P&3Mh$nY*gvG`2H9ZA`RWg0!>f8 z`CT!y+_%xZY?*X+F%Juv@&PZRM|?(dWr47TVcR|`K$2OuZwCU`BQ14M;+_;SOF;Y2 zsY#EvJC|&)jx0mv->$7m(XzIuwZI{P<*gdw3Amroi|gNi(M6+zi&8~ZA4a62#HtR* zH-fZ-b5!7YF)gic+zjZv0&;~Ym1teDoIA5bS%0Q_Q%Eg-J}}VW5fBt#O4)059DCSM zfqnV>wd1k_*ENb%IM68s7uQ*d&C^b84==E#wWyFkCe;h8m@o7;*40HcCEWT-GD0)5 z+G|aJ&>SubU3oUp#`RT?LHn+^ZuM6CtBs3w2=LjAdb3xVH)!pJ-XGLXR?0n!m0LOo zE>hcK*+fK#i-yb1v^n^PCZU)x-Om&OyvRWZT~0inUu>{i>PYUAUhL?O**5TYbV``!s@&AT*{2TjkxM33!%*g$ugLa9Kr*z zV!ST`hVx{#dJftxsffC@Zd&C+k3)4Svmp2Y$@-8)X8j8wet_Z&&#!R?Khde6J{m%4 zi9}Pp_bYm3`{$Z`LV!JB#&3$(T)P9?KD*Cu^tQA`KsJAL=WusmLbm#^j4Z-#(2C5) z?;L~XsOaUi+CH)OKy-~T*f(LYVqcP(pFw)m3^=`Xw zw9Dn6;W7lfnYp32EcHR3=qveD5^l?WzRQldoO(&OC)DyW!3Mt6d<@ZE((#d%CH~g{ zZ#e$<_m)VopD7g&%!_!)99ny0VrC*3WJEX6 z=P1F62I3tV%lstp%=z7Y(db-v9id;7UI&4|R%0?ChK=qI)J&0mCb+VTOH11i_SG_i1d zixzBmT1+ABSg|X;s=zTeAx9g6D33 z;a$8#Mga)3GoZ9HXrLK8VA0jaW$Z3|)e#6Rz~^$>pV^wqGl8P$44n!yI{q=oA45z8 zKIgQH_~TQTJA>*+(%>8^$5?>!IC8!B3nV6WVbyXa*f&!a$^#W3cOpIu^X!>($GW{n z)Y=7isp_9tPte97QCw-6XWZ>cz!wL%p3J|2v41L3{TtBxe>0_c6qJ9Izm)&0{DoTe zcjYe@*8eVl{iCypNzvF^#np~U;jb>~zj}tU$EZGY%y1t@@l$pbLBZy*u8^S0+U>QYyvj)LPX2FYbqv52G<|72VX~GTU zQG}CGq8LqnmEtOlWEBg|lOiL-tO~N4UpDfLlAu4NrkQ)iZZ>cKfw@?Lwh8Bz3k zDt%olQ$%%Nrl(P5Eh}x}W>M@|yR7fmYziE1GQDML&I(&)3-OPLOj7%yYNT|Ji~eCn zDPiv>t^#U!xCoW;wtVY)HQg?4tJ+;NH9|%QjUfT`jn=_J@@Yzr=5zE! zSRVOfDa`ROF>F+lt5uw>jZS*W*-JM+-UC0zPIX-2Q^sZ$I(pUAr!H>h6-sebqFF+S zt+wkX($J5ouBko0@-dfZAzAICElRK43$Krq#C&KgmR!uOx&d+;A90SIJjE)Rv^$#X z_Dt;+>J|k(sYh_UYFk3+@Y|lUIq%Nu43QtRa-Qs}J06*=w41_CoL1cR|MVKFZDE;Z zw#qZlL5CDTUiWeXH)6%{Q65TZ^eCFo*NYA6&3N?I^QQbT3 z13_Wn5yA0Nk?}0Ju;_3>-)KZ>O^c+c*@V03L>SbHk_~=FY0QnMM@1u~7bMJ(ma>s) zh7!0~#w>-o$h#f)v?2W1F(9qUx1774rhey&UL@_W7Z*jFy!Gd@cO1|f!Oeq{0&^>~ zCr?h5#)6yF3rqw?RLG+f$bna=IB{iozRIsv-E-xM!vs}{$l^bgjWz_T#MVu*hVJQZ z3m9*~5C@L2*gKz#Kw@vx-s+98m~0|yo&^tY;w1)Nt+NP>j$bd*&3Quno+%+~dnHY) zvbRz{el$kWcKTRVbs*|=49}!K{`w0>r?n3pIb%JYen<-IbZGPQ?9X!_RcGW z+1(-ckUKz=S;`boDb0LeRo4~xZ)ffncnumBl-ZSVvh3s)G`NfoXF^=bCC84v?bVI> z%-_Fm?u7+$RHGV->RgLApL_;_WhB7c;(tGqs1Cg()4?WB5))d(J|T*I9PXq94Gv`EtMZ zyq@pF7ofm1d5E>C>F8o3Bw~m76D2P6*Gk^ia{4CE&M%E#125>G-x2-J~iusOLUC z<@z?y8jyz<)GAi&l?oA`LP8ud)8wYXIghhH>(qzdioq1dP?s_2nWn_?AzO~6-V8Jp z$5JeL456_tejU+zt4h{F-S0vD4LNTd9V`MM8PHGQ#pNP^_;YwkV|&W1F49HBM<{NA zk1+tkZeF92MNkx<=CMA!+-|W4-x3)tpA7feL8#2Tvuos+E2`qOnZsjqYe7p}-^~}@ z6^nOZ0m>Vq$~^LXT5o1IlfHdtZ+9F`);S=oA=enRGKOK_oZj~)|5a}1dU!{J^{=0a z()v!2RGvxI%;FwG(r+*9igY+XpnIl&eEpk)<)5x3{MYucscdG>BrT@H#|+>wGUWuA znsb=2m~n72bFgrla!pHz{!m?M{wx5T( zkMUdxT?gfAQo8HqXgmvY+6{?Y!k8McGoYGm%xGPQ244WCy1iq(fQ`R1+Oa`xJcAw; zDMkzBYKIf47_^Toh3`|D_N&S{g}4&8vT`Bq!>Fm~QyX*rqiS(|ql$99yZ`tG;qA*N h4zk++l+wl3$l2A?*~}b{g_Q-s3`apBt|$Tbe*kXpOBnzF literal 0 HcmV?d00001 diff --git a/tex/main.tex b/tex/main.tex new file mode 100644 index 0000000..751dc81 --- /dev/null +++ b/tex/main.tex @@ -0,0 +1,115 @@ +\documentclass[a4paper,11pt,titlepage]{scrartcl} + +%%%% Document Setup +\usepackage[top=2cm,lmargin=1in,rmargin=1in,bottom=3cm,hmarginratio=1:1]{geometry} +\usepackage{scrlayer-fancyhdr} +\usepackage{extramarks} +\usepackage{anyfontsize} +\usepackage{unicode-math} +\usepackage[scale=.85]{noto-mono} % TODO find better unicode mono font +\usepackage[final]{hyperref} +\pagestyle{fancy} +\lhead{\DocTitle} +\chead{\UniCourse} +\rhead{\firstxmark} +\lfoot{\lastxmark} +\cfoot{\thepage} +\renewcommand\headrulewidth{0.4pt} +\renewcommand\footrulewidth{0.4pt} +%%%% + +%%%% Metadata +\newcommand{\DocTitle}{Lecture notes} +\newcommand{\UniCourse}{Algebra of Programming} +\newcommand{\UniProf}{Prof.\ Dr.\ Stefan Milius} +\author{Leon Vatthauer} +%%%% + +%%%% Title +\title{ + \vspace{2in} + \textmd{\textbf{\UniCourse\\\DocTitle}}\\ + \vspace{0.1in}\large{\textit{\UniProf\ }} + \vspace{3in} +} +%%%% + +%%%% Math packages +\usepackage{amsthm} +\usepackage{thmtools} +\usepackage{tikz} +\usetikzlibrary{cd, quotes} +\declaretheorem[name=Definition,style=definition,numberwithin=section]{definition} +\declaretheorem[name=Example,style=definition,sibling=definition]{example} +\declaretheorem[style=definition,numbered=no]{exercise} +\declaretheorem[name=Remark,style=definition,sibling=definition]{remark} +\declaretheorem[name=Assumption,style=definition,sibling=definition]{assumption} +\declaretheorem[name=Observation,style=definition,sibling=definition]{observation} +\declaretheorem[name=Theorem,sibling=definition]{theorem} +\declaretheorem[sibling=definition]{corollary} +\declaretheorem[name=Fact,sibling=definition]{fact} +\declaretheorem[sibling=definition]{lemma} +\declaretheorem[sibling=lemma]{proposition} +%%%% + +\makeatletter +\hypersetup{ + pdfauthor={\@author}, + pdftitle={\@title}, + % kill those ugly red rectangles around links + hidelinks, +} +\makeatother + +%%%% Custom definitions: Commands and environments + +%%% Case distinction environment +% Defines the `mycase` environment, copied from https://tex.stackexchange.com/questions/251053/how-to-use-case-1-case-2-in-a-proof-ieee-confs +\newcounter{cases} +\newcounter{subcases}[cases] +\newenvironment{mycase} +{ + \setcounter{cases}{0} + \setcounter{subcases}{0} + \newcommand{\case} + { + \par\indent\stepcounter{cases}\textbf{Case \thecases.} + } + \newcommand{\subcase} + { + \par\indent\stepcounter{subcases}\textit{Subcase (\thesubcases):} + } +} +{ + \par +} +\renewcommand*\thecases{\arabic{cases}} +\renewcommand*\thesubcases{\roman{subcases}} +%%% + +%%% Custom label command +\makeatletter +\newcommand{\customlabel}[2]{% + \protected@write \@auxout {}{\string \newlabel {#1}{{#2}{\thepage}{#2}{#1}{}} }% chktex 1 + \hypertarget{#1}{#2}% +} +\makeatother +%%% +%%%% + + +\begin{document} +%% Titlepage +\maketitle +\setcounter{page}{1} +%% + +%% TOC +\tableofcontents +\pagebreak +%% + +%% Contents + +%% +\end{document} \ No newline at end of file