From 14ba05f7b72ba0efb1bc7ff00b2fbee63aa0bda0 Mon Sep 17 00:00:00 2001 From: Marco Thomas Date: Wed, 17 Nov 2021 16:25:22 +0100 Subject: [PATCH] Cleanup --- README.md | 12 +--- files/.config/alacritty/themes/ayu_light.yml | 2 +- files/.config/zathura/zathurarc | 22 ------- files/.gitconfig | 2 + files/.vimrc | 1 + files/init.el | 59 +++++++++---------- fonts/Product Sans Regular.ttf | Bin 41116 -> 0 bytes org/notes.org | 5 +- 8 files changed, 37 insertions(+), 66 deletions(-) delete mode 100644 files/.config/zathura/zathurarc delete mode 100644 fonts/Product Sans Regular.ttf diff --git a/README.md b/README.md index 6fa79f6..b07d014 100644 --- a/README.md +++ b/README.md @@ -5,23 +5,15 @@ + DE: Gnome + Shell: zsh + Terminal: alacritty ++ Theme: Orchis Green + Tela Icons ## Programs + Editor: emacs + Mouse-Settings: piper + Screenshots: flameshot -+ pdf: zathura with mupdf ++ pdf: Okular ## Other Dependencies + fzf: fuzzy file finder + hunspell{-de, en}: spellchecking for emacs - -## Fonts -| Usage | Font | -| -------- | --------------------- | -| Terminal | SFMono Nerd Font Mono | -| Non-Mono | Product Sans | -| JP | Noto Sans CJK JP | -| JP | Stick Regular | -| Icons | Material Design Icons | diff --git a/files/.config/alacritty/themes/ayu_light.yml b/files/.config/alacritty/themes/ayu_light.yml index c6ddf4f..4e0ccb6 100644 --- a/files/.config/alacritty/themes/ayu_light.yml +++ b/files/.config/alacritty/themes/ayu_light.yml @@ -2,7 +2,7 @@ colors: # Default colors primary: - background: '#fafafa' + background: '#ffffff' foreground: '#5c6773' # Normal colors diff --git a/files/.config/zathura/zathurarc b/files/.config/zathura/zathurarc deleted file mode 100644 index 89de787..0000000 --- a/files/.config/zathura/zathurarc +++ /dev/null @@ -1,22 +0,0 @@ -# General -set window-title-basename true -set statusbar-home-tilde true -set selection-clipboard clipboard - -# Layout -set statusbar-h-padding 0 -set statusbar-v-padding 0 -set show-scrollbars false - -# colors -set completion-bg "#fafafa" # bg -set completion-fg "#5c6773" # fg - -set inputbar-bg "#fafafa" # bg -set inputbar-fg "#5c6773" # fg - -set statusbar-bg "#fafafa" # bg -set statusbar-fg "#5c6773" # fg - -set default-bg "#fafafa" # bg -set default-fg "#5c6773" # fg diff --git a/files/.gitconfig b/files/.gitconfig index d798518..c8fe55d 100644 --- a/files/.gitconfig +++ b/files/.gitconfig @@ -1,6 +1,8 @@ [user] name = Marco Thomas email = mail@marco-thomas.net +[includeIf "gitdir:~/dev/lrz-gitlab/**"] + path = "~/dev/lrz-gitlab/.gitconfig" [alias] aa = add . st = status diff --git a/files/.vimrc b/files/.vimrc index 00cc15c..3f726af 100644 --- a/files/.vimrc +++ b/files/.vimrc @@ -29,6 +29,7 @@ syntax on let ayucolor="light" colorscheme ayu set termguicolors +hi Normal guibg=NONE ctermbg=NONE " ============================== General filetype indent plugin on diff --git a/files/init.el b/files/init.el index 012ec6c..6a3e599 100644 --- a/files/init.el +++ b/files/init.el @@ -62,9 +62,9 @@ tramp-default-method "ssh" initial-major-mode 'fundamental-mode initial-scratch-message nil - fast-but-imprecise-scrolling t - split-height-threshold nil - split-width-threshold 0) + fast-but-imprecise-scrolling t) +; split-height-threshold nil +; split-width-threshold 0) ;; Make ESC quit prompts (global-set-key (kbd "") 'keyboard-escape-quit) @@ -152,7 +152,7 @@ ;; Font -(set-face-attribute 'default nil :font "JuliaMono" :height 100) +(set-face-attribute 'default nil :font "JuliaMono" :height 110) (set-fontset-font t 'unicode "Noto Color Emoji" nil 'prepend) (set-fontset-font t 'unicode "Noto Sans Mono CJK JP" nil 'append) @@ -197,7 +197,8 @@ :straight t :config (doom-modeline-mode 1) - (setq doom-modeline-indent-info t)) + (setq doom-modeline-indent-info t + doom-modeline-buffer-file-name-style 'file-name)) ;; Cool dashboard (use-package dashboard @@ -228,7 +229,7 @@ :init (nyan-mode) (nyan-start-animation) - (nyan-toggle-wavy-trail) + ;; (nyan-toggle-wavy-trail) :config (setq nyan-cat-face-number 4)) @@ -364,27 +365,28 @@ ;(push '("#+end_src" . "⇤" ) prettify-symbols-alist))) :config (define-key evil-normal-state-map (kbd "TAB") 'org-cycle) - (set-face-attribute 'org-document-title nil :font "Product Sans" :weight 'bold :inherit 'default :height 250) + (set-face-attribute 'org-document-title nil :weight 'bold :inherit 'default :height 250) (setq org-format-latex-options (plist-put org-format-latex-options :scale 1.5) org-hidden-keywords '(title) ; hide title - org-startup-with-inline-images t + org-startup-with-inline-images t org-image-actual-width nil ; rescale inline images org-directory "~/org" org-agenda-files (quote ("~/org")) org-ellipsis " ⮷" - org-hide-emphasis-markers t + org-hide-emphasis-markers t ; hide bold and underline markers org-todo-keywords '((sequence "TODO" "PROGRESS" "REVIEW" "|" "DONE")) org-todo-keyword-faces '(("TODO" . "#cc241d") ("PROGRESS" . "#a6cc70") ("REVIEW" . "#b16286") ("DONE" . "#abb0b6")) org-edit-src-content-indentation 0 + org-log-done nil ; just mark DONE without a time stamp + org-log-repeat nil + org-agenda-start-on-weekday nil ; my week starts on a monday calendar-week-start-day 1 - org-log-done 'time - org-agenda-start-on-weekday nil org-capture-templates (quote (("j" "Japanese" entry (file "~/org/japanese.org") "* TODO %?\n" :empty-lines-before 1) ("w" "Work" entry (file "~/org/work.org") "* TODO %?\n" :empty-lines-before 1) ("u" "University" entry (file "~/org/uni.org") "* TODO %?\n" :empty-lines-before 1) ("p" "Personal" entry (file "~/org/personal.org") "* TODO %?\n" :empty-lines-before 1))) - org-latex-listings 'minted + org-latex-listings 'minted ; export with code highlighting org-latex-packages-alist '(("" "minted")) org-latex-pdf-process '("pdflatex -shell-escape -interaction nonstopmode -output-directory %o %f" @@ -394,7 +396,8 @@ (shell . t) (haskell . t) (C . t) - (dot . t)))) + (dot . t) + (R . t)))) ;; I dont want \alert to be my bold text in TeX (defun mth/beamer-bold (contents backend info) @@ -410,7 +413,6 @@ (setq org-latex-inputenc-alist '(("utf8" . "utf8x")) org-latex-default-packages-alist (cons '("mathletters" "ucs" nil) org-latex-default-packages-alist))) - ;; Fancy bullets for org (use-package org-superstar :straight t @@ -421,16 +423,7 @@ ;; uncomment if slowdown happens ;;(setq inhibit-compacting-font-caches t) ;; base config, as i wont use level 8 - (set-face-attribute 'org-level-8 nil :font "Product Sans" :weight 'bold :inherit 'default) - ;; make first 3 bigger - (set-face-attribute 'org-level-3 nil :inherit 'org-level-8 :height 1.1) - (set-face-attribute 'org-level-2 nil :inherit 'org-level-8 :height 1.15) - (set-face-attribute 'org-level-1 nil :inherit 'org-level-8 :height 1.2) - ;; Low levels are unimportant => no scaling - (set-face-attribute 'org-level-7 nil :inherit 'org-level-8) - (set-face-attribute 'org-level-6 nil :inherit 'org-level-8) - (set-face-attribute 'org-level-5 nil :inherit 'org-level-8) - (set-face-attribute 'org-level-4 nil :inherit 'org-level-8)) + ) ;; Auto latex rendering in org-mode (use-package org-fragtog @@ -455,7 +448,6 @@ :straight t) - ;;; ;;; PROGRAMMING ;;; @@ -485,7 +477,7 @@ :config (setq treemacs-follow-after-init t treemacs-persist-file (expand-file-name ".cache/treemacs-persist" user-emacs-directory) - treemacs-width 40 + treemacs-width 50 treemacs-project-follow-cleanup t treemacs-tag-follow-cleanup t treemacs-expand-after-init nil @@ -506,7 +498,7 @@ treemacs-directory-collapsed-face treemacs-file-face treemacs-tags-face)) - (set-face-attribute face nil :family "Product Sans" :height 100)) + (set-face-attribute face nil :family "JuliaMono" :height 110)) :bind (:map global-map ("C-x t t" . treemacs))) @@ -576,6 +568,7 @@ (LaTeX-mode . company-mode) (org-mode . company-mode) :custom + (company-minimum-prefix-length 3) (company-idle-delay 0.5) :bind (:map company-active-map @@ -699,11 +692,13 @@ ("\\times" ?×) ("\\x" ?×) ; Number stuff - ("\\div" ?∣) ("\\infty" ?∞) ("\\sqrt" ?√) ("\\Im" ?ℑ) ("\\Re" ?ℜ) + ("\\mid" ?∣) ("\\infty" ?∞) ("\\sqrt" ?√) ("\\Im" ?ℑ) ("\\Re" ?ℜ) ; Logic ("\\/" ?∨) ("\\and" ?∧) ("/\\" ?∧) ("\\or" ?∨) ("~" ?¬) ("\neg" ?¬) - ("|-" ?⊢) ("|-n" ?⊬) ("\\bot" ?⊥) ("\\top" ?⊤) ("\\r" ?→) ("\\lr" ?↔) + ("|-" ?⊢) ("|-n" ?⊬) ("\\bot" ?⊥) ("\\top" ?⊤) + ("\\r" ?→) ("\\lr" ?↔) + ("\\R" ?⇒) ("\\Lr" ?⇔) ("\\qed" ?∎) ; Predicate logic @@ -725,11 +720,11 @@ ("\\Ga" ?α) ("\\GA" ?Α) ("\\a" ?α) ("\\Gb" ?β) ("\\GB" ?Β) ("\\b" ?β) ("\\Gg" ?γ) ("\\GG" ?Γ) ("\\g" ?γ) ("\\Gamma" ?Γ) - ("\\Gd" ?δ) ("\\GD" ?Δ) ("\\del" ?δ) ("\\Del" ?Δ) - ("\\Ge" ?ε) ("\\GE" ?Ε) ("\\eps" ?ε) + ("\\Gd" ?δ) ("\\GD" ?Δ) ("\\delta" ?δ) ("\\Delta" ?Δ) + ("\\Ge" ?ε) ("\\GE" ?Ε) ("\\epsilon" ?ε) ("\\Gz" ?ζ) ("\\GZ" ?Ζ) ("\\Gh" ?η) ("\\Gh" ?Η) ("\\mu" ?μ) - ("\\Gth" ?θ) ("\\GTH" ?Θ) ("\\the" ?θ) ("\\The" ?Θ) + ("\\Gth" ?θ) ("\\GTH" ?Θ) ("\\theta" ?θ) ("\\Theta" ?Θ) ("\\Gi" ?ι) ("\\GI" ?Ι) ("\\iota" ?ι) ("\\Gk" ?κ) ("\\GK" ?Κ) ("\\Gl" ?λ) ("\\GL" ?Λ) ("\\lam" ?λ) diff --git a/fonts/Product Sans Regular.ttf b/fonts/Product Sans Regular.ttf deleted file mode 100644 index c0442ee29ddd0630e42ef043746032cb6cdf74cf..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 41116 zcmdUY31FO6wg0`}Op-QDvrlHS&tx)7_Q^~#Gg+FwNt#TSrfHhAX`628mZoXx3N4gH z?L!nEV#QLRB36+_R8T+`?|zmsj(9e*X3MIHf~sG*8H>(G*p2H~T{OXT%z&tN#3!yF+dDcb9mn(RcNy!= z*|2Wa+T_c+=OgYUPUi*$B)k#VjJ&CM&)=|R$DaMy6ylLTz?gb$Z0nj;zgzp>HyDd~ zm@&z{W!0Vul}q(D;!!5kkFVOYPTyPm9%D<9pFc3M^`afdl{a3**fP{XeF>wwajE;B zCwu<9GNJabELZg=Lf8uf<7MLhi^GejdZ$!zFRHG_`)nprC=TRP{cuXfSlo+dCbO}nU34gLcd2EGxFxJTG0}3BCdfIOM94B z(jaXq(@UFJKD&z*^A6U4GnL5 z4LBiHQ@_P|7O-U82*2PHcoA;O$>#$Hs&fqPT4n_;dL^p29k`^TEpa03Mw~UOA2PL| zGx1F=aHcxGindjw4R^`q@Kel0?Tq|3sTgs^tX66lbks>dM3}F>1V_D}nN$xTUoYsn z5B0qfJc!fBCpO|Wq8t0>RIjuXbX^Pl)`DN}WvP^g(h7J)H-bxdoWv{a%+wn=KfrS| zl_kzM*&=~I@rLgN%^Fa*Dx7+pwKzv`wtZ# z*CP$uLbU|lsAzl!rVyyJwPD^@LsJT|d3$;r~#51>~hmI-Q*W`sTj?Mb)M zUCpn;y%4%c4IM~*$fazGm-9u^lhRAlNqwq5L!YD1)0_3x`WF2T{atyQxXF(u|Mr^Dg0Efl+NWQ;^0i&BZGA1_ z74NIR@o8W5AOgB_`4xLfc?`OrV8__?>{IO1p!8?hf3Sn>YIY6#EPH_6&OXmR$F616m&C9K+4tD@*<H+rOJQKenUc;ODBEF2T;k)@&{1*Hk;m`6ZsYN;_{f~53m8_~z4XU=NKCQYz z^-a}7sxvCD+N2&;U!nfC`m}l~Y9Q+KQTIi?8g({0Dmp#7JNmKclQG(urkIhKJu#n) zc_QZJm^WrgvvOyZ&FY!8Y1YlNo|w&M7tEfReZ}mr&i>x)U(J3ec6O{jwmh~Wwl{Wd z?6%lTWABUo)134jzc>Cj@gF2aB{U>lop31OwuE~U9!mIe!gC2PC%m3;HsM@id*Y(R z6^R=YcO+hxcy;0z6MvL=Jn`3wrxO2^_vf>ZPeCG^v^en)RC9nkzNeYM#=(sd+z5otBuEm9{kP zJ83^mdp7N*wAZzgHcPue+pk@#y-9nQ_F?Vw+LyI&YTwmCaCACdzRsqr)osx2&>hfS zqx+HWXS(0${zrFK=S@#eFHf&aA5T9de&0xcCjHMDc^S1C0~uR0zMJubj8`*W&#cb8 zIP6lud^Gcg%-1tN%!9FaT={u%JO@B3)TI`lF z%Pp2)TYhg%0FS{Yv$Dc$G-@0g>FJ-`{<6pO^6fwIrd_uGy6g5|_7ore%8z-y zhc`a?lQ*ut?9%K0;2}L?oqAhJkzQmutd!uzL>u!g=E@3}(_z=T%$697%WSr|(zGsZ zOj=A{OtdCdo93{)P>{terL;6}UDw{;+Pb>0SZ%DmJZm7`m6N-seO*@bXWnfpDlRH& zY$(RT)t7X6+83fc{Y@VAM)0Js2Y0A0MQ&QU8Qd&|{*4$iL0u-Rbm}Eu` z=Q3u}7?OZNk|PPlYb3LGyrFQ@@czQD4-RsTwYiBe^}gQSvf&)`SR8V-s;)vm)d@L_ zfxcM79zeKy%F5pYG&4I~4a1miMy#N>l!ee(qGAdNCs)X*(ioE*c-5w9h!nRUcIBH) z`L4sm!#6H(Y-(y)!9V=aWOCR|X74@Ukd9wmS2wh5-aLZnp0Y~$fS7=im`Q=>BbYYN zY%yvD>==iWNGss;;-(TDP0c06#U*{tA)Q)1JgiphhMcRK=g)6$v6pvu*>QAr+spe) z%`GQXx1VY;mwLL!ws<_Kn{DcS={dBWg}uaKk>mal2OUt$-{_bx{u?6x71%>^JX!Wi zybjjy_oU+z-l5e6JeA6q{z+f@H6r~<0Z+#VxKVl$>0#XF@8C-t}I^_jzsJwfqQL*v?alE3Bc;FTT^Vrp3#_aV~WvbjKS%`Gfqd0IAe@4ju_)x2U8Co?#(%v)0=b2+>2B9$L-7R%|3|p zk~n(X&$XZNu72j3XFQ+rJdOi5z|~D1;eS#kq6V?72xX*dE2E=%g+=3x0Ww1V(zLjv zLN4H!mZps{TX55)Mt^R&(9Xd%!yeD}l)kw6rEB{~`#g2a68nPtV{auqTz;~^%znz{nXp4cM@qRxjveh4q_R5DwTP&S~MneOe zv@sSRFSvXR0pc0+NROqsv{9*~%v90QlGHrEe8KW9H#S#QjJ8$vr}Si18cVc)YH0Tw zM?2e!e_B|+Z?K}V@%qj6+lEvp*cg`I`Qyd3Y-n~PK0SK0V%Z8vEz@Dn>A_z8N2 zIEnZO;SE!JxKkBJJj$bGHA<~0RIQ6U=NAz7XUO^k2ayk(-#wrck! zyZ7wfy&4cw0U;I;lEEQh0ii)+EKXT-Sq2LmwKiL6e~S!B6=xfpw`cF(y}MT1`X;t) z-ZVbZ2N+g9!LI>!DZnDeVk7}02?JA+n8on*b)INXU6(YW+ZyGG+Nzt7_{}97Hk53L zF)y&HcI{GG7noxJ$Bog(Tc|1IlxvKrC*%e|_*?gT?!VsyVaE0T`vpCwu7fRf1!;3F z^(C@ULc1<0a%!?kCQ~P}`qg>5Y>Op3Q%|sYBHzP@g?2Dh8u%XX4|xMmL~q4qSqC(f z>k5+b2Ne0P^Gh}-JDDGrTY_^V=ZC$&9^eJi@yQAVlH`L=`UJ0&T+2P4toG3Zn$W!k zSls0-?&{jRw+jbd`BV1tzP@t1eB}d2)~y>|chlkZ>(;G5yvu`Q*RHNkPZ!Y}I21#7 zMB@%!2zvA4;ZGTVD%~~NFI87}ukfWg2|S=@(BDd${sO6D_(`wl+e0m_ zuCkWc{?zSV%lB=0YH)D)yUUi@OB&qPy!s{E7p=MIr$ixeKmQ}36$6^DH%IqPTrRq7 zBN|G!67ppDf{&m}_#c~_R(I9ar}ZZ;aJUPsg$30$6|UAM=Mw#5?bw24b@PUu^B!MX zTU%=DGFHtq<~tll(Hfgt3&#p93S11Rb1dw3)W}!~4G#lFV{#-J z`A>(vKj8D$4tlq~qQ36B>stA*yww8(yq@R)%s)cDY{HymR>oVVMvNuJpfSW~i6Z=? zgKK-Q(DWtrR5mPJSihifc`;w_eLY?6STKC~uU22RcCn$hwWqGWx5mns4L-pOt{|)c zeG+s@VMdTi>ELBsCq)auF+qk6wLG^hYHVt4TfU~HrTHfvcSyNg3kqs$tpy-VRZ$`T zPE+I3;rT5sEz1{e;)RaWlIGQ#0;{#4rn&$JwFH&;J73#FXBu1v{yXn|eSDtxn8Y8H zx+iZdl&V27l}PzMaLZ-|tR~QILfw8RD~TH8nPy+wDD+S!_s7HWX)8c2Ph?QiS=Wj#iAtAv%dr~9~ zplAYqmroUVclvb#$^2K@0|FM=eL?wwc#v-L>yuS}CFO@V`BJdDLOYW#d=$D6mb*z~ zsx)b$H2hKT#r)IWmk#zn*z#cir_`v08@Abp{0X!+(sAguB+_jkdh7V(bn-nO?|ZTZ zRDm}EjccMR0k0A%F6L(MOT1hF`&2(sC4cHe{s?+GE%CF-SXn__Kun-$jp*nYZBPYy z&I-eFL#<;;?tpHred$GoJGe%n)vIL%4Fh(4nQJ7!sc-Y5!mdpf&nQGAn%$#vOW$F2 ztPhwINa|7jg9Ot1sSdlsg1+&ARwS_qn!4&#Wbta#qWtVyDjD*;c++iTi}hp)N{=FGBBwY##~7j0fPRGE>Ho{_O&Xl>=Dp{0(B$#Y=Fj0~A6#hu$m zCKfEHt{z+hZZ7$t_u4CvfB1?khnHow=pBxwrK=tGRV5|u<(YUH+LBe4my%*A%g(YH zQd08Zc$UQ2;X2V%P=BU!s8mMo;6{sqdv?CH^VLxvzk$b(&iB3`E%QFYni?=B;uyHPkJ;|Lf%jgI-^D=Yw`5 zB&8N5ILqtR$9BMIcpgr4huw0#Clwm?IWS>qp{ zX<`;F$SZu|!XAL4 zmVZh7wD%#wxvkz6((%FH4g7A9`rbhL*^ol?i*owghxu)ko;$ohL+U>cD0Te+b)|~? z`ZHM}k`WwSW2XxOl_q^KwDzk<#&8_zxu&Gau(5XM!rtD6J2$tr&GDY&%cA&#LqnU! z#%{S~Y|QOwvX(6DyX2C-g|)RC2eM?mq*0)VdN?o=OfujEdbbY`^U>j9FU$$=&$wf< z0GHM4=>KTs=MoAVkW!=nws4njN#3Y?{_xJk!S4L+J@x!O zZ}Qg5e9)vZITwd11-nWG^B>t9{CB&(@A0f{e;CK`P&%&m{>-~o&ATuAIncS*N6nXz zGm0?-VQkK2?KlUj3$@>5sj`DMdg~-Aw?*vE2;Sui*lymZhtNB-9UbSQTMj|f7jLJ!jC178L zwjHU0fE$6>Ru#2r^G!#Gl)*K|@_vE4efV8@_(7~_hL1%B-NuXjpW zmzMAExm?s>A8Mo2!i`$Y!ii}8H2O+MHSigy@uSy1Dfsi4a@s#Yf}f}+8j=kDO0lBQYGNUK_Y;kNSoqN6^=Z%;;{Pgil2;p zNqy76O~lg`{Djwv`_K3bUg4iYerW^p3u#D^v#L@6W#8D_r^fG5-!p#d?XgGId^@~T zZ}DXBG4JQO3FQ)Yt;h$RM`HmWenZ1&$G)w;dyIE^zstM$W!_gfsXBP%nG`3dHo$;} zZqsms6z5Il`@LTPN>}pBN2Jujk;yZZx_#;@o~qJO&7;6Hq&9f!@#A~;>{H#~nWXv9 zpwUnYMnl_p!GQPIR6Ue|(x$FrXXN}^j1b7Bcm}zT@AF9K$SR5BhdFs2$#zLGV&G^@ z;R!z&*{|L|@&jm$XJ2}W+X)W_Z`*5AJ4ho&k$v-;SI=KNK@dhH4|^XF5R;-cTArxr zZI_N8H~^W;g0_4X^N+DKU*M9P9Ev?U1*{K5jIbo+QKMEda4wlwP`#|E%iXzqbl0G| zYURQ$7mf5)dK_IP3!4w++XkxhoV<3+O7HV6{Uhz3r8yc~bE9Jf1Qk4%4=gm883UKW zD>uz4XHiBM6mct0&@0IHh_Sq3dsCMt5cA$Ttucp2$th3f_ zX>V(5-_nV}uw`{U{Gp}w>k9fZFG}q2Y~9w;(b;4ib~rja9gbmRQ>RQdX%=ddKsA}} zZ&b8an$}?v?P-KTklIpIQc~P3(07c$=AJ(yI~@n%b8IOu@9}vX%kBN}F^+Y4P`Oi+ z6{sB1j%soaHA#`}4rL@CV-TZD7#u1Cb;u}Y?3#m{wp`A=mr277gZ4hd&R2N4y0gBb zGx3IP6JPw?WwGspgVwrM-r#6%AR0kC@G-TQrhx*$VEEU-4q*=f&fjOqrBPFj?QbvB1CTePdW z1vPV{MyJtA@VcfrG_voPxH_qVTu@0yH`q$Eq-^P`;hpX-SP!RK@@?x^dXMwGtCrV! z|B8A+<*;voHgiZ{1&>%_0Oece%uF+#DZ|ni(Y>G!@loL6 zhT%a_smR%vGH-10@UXq6vRz#GX^_iaykf(M_gS7lf8Nr0-m~)ES2}#V#IHnqxdejg zgY71mM0wRNSI4jbB`9CIXQnwWl0MPdB-aP(lUf42TLd$gqFTK;SMr{J1qp`S_*` zNP1_QF_0ejt0q~7u`&cD%KFb(>6$JKsxbX0&5~7LKwk{L8>B~0oRABUwS{+Suoh8T zVLgAJdfh-v`(&KjHGWBQy-vL!2DMN?8qpiMw9y~d_V9s$;XQlIx;dKJ+4-|N zns{>mp+o)emK&qgeGm$c)_j}44$%X@8K~O=pO`BlV?G;(zaGMHLeP1I_j#}zCsPFT z(MLXDhcqz4m(P^ZfK=-QV~#-lH7-tFT)5T}TZZCt$VkySzKN z7NU8;`v;!c%Uk<(oD~y$PT%8WkK2M{GhQCV-=YoUhqzbt+w8{Mwc_D)V~(cUBQBUbBWv(FF<*)P z3U<{^SU2zh@Rq}eg}#S96zuKO!ZVR#fawMPuY=z&M}m(b#mLRN#3ZdYDN$#Jx8jT5 z7g|TBOo`cMjmDgvXqp<8-c5vRM~ZKf^TNCSap`tLS(-U3k$y#l4>fExN>y`~q^E{Ma*B75^ zuKb+UZOYN+X_Jz5iD|t_>oL>oEurY53I1E8H0 zaDO4gy^A2waU>|T?kldqJ+N-HdB!xIL7(osKThTnaF8uEYPAuR5Y1lb@wJ+iDsWgOLJ#-*Y8(>U z*BmMI`QAV%(LsiAQ?HLl0D(%ALtp5n(nJp;N?R|N)o7;+CWv~a)oivR(0oO@iCfdtlapsBX{8#c z$qavPB`)S&mW(V@N>aw$^b}H9EDLbo5pzE1uT$bx1WIdy{>JpRtUJWSHF|7IlGF8e zW^rzEa&B=ZmmF7mR#w+k*R1p$aP;Riw&qBxS^AQyT)n%*5L3A)Y4O0^wzhTaTHE3W z7ANg7wkCPMkq9xCdz!zYP8j_-DxH;;7HIN-T|nkzD#ktMK!AL)M-5>+j>hj#Kv@ub}hQ7yTLfrP-?q)cGpOas!G3AqS{%f zbo|forNj}JV0KTL2K1_YPjF@aE@rG7=d0Sh# zy_L7f_f|@+BkNPP=;1REzdSSgFoUGWl8xe#0|!R9^@PfE?mmg_dSDlFv}3(VGUx!B za}D{WjFw8R>>Z|lRQRlXc01W;npA#d*X3&~E33K}SDVtSnwsrZ4J&r8UbcsSO6|C0 zwmKN_?r?aDz*u~T7to%~x++>rr$E7PB$tlW8 zlWO^UD_f9sWF-c9Eh{?E%Fa#?Y=z3Y#JH^Q_4l7D%mGtN{Sx}=U<|7+06+hT(`WmN zsSxnx`4D`_k(ZZewA(Cttv;tHE;S>;oR*hABbJZnCvC83otXkUPx%p=Nc~AKLk2YvQEo?&nst9nS&qqiD3jWux58rv`ofqG~ z@ecLZHhyRK*Wd9RJLc*4@C@(kbb9)Q7Prz!0_&_!p&x+$fi!$i=pQTTA2FbST7`1K z^ny$P#Wg16PI%3tuc|Ot^v37qq*v8>+E#5|+*wv%wm{#Vva)e-ykD*H@LO|CZT7f1 zF~#3s)X?0Ul~Ce#nTsmc^?N_6GZs*}#N)5|r0`=UkiS-6KQdB}gRb5q7OTr;v05!I zm({}GThr9o*tBL%V^dS(nua1A4fR+aSWImVi%Yc>BfV(&s%t@a*^86{wMx1*w0bn^ z6IBd&olL>>;IHsZ@-%f{-MCTTay2;y2OXV`g{Jg>{y`QaiPAD$J`32(@wzcq9wGENC>R7&QNmWAZY^RL#Z_$6p3I0Tn zC-Y~Dk3UsuV#F%=Gr*o)*D_puUrt`jaN&1zc;>ZRs_f}CnSf6A^RjI>=nC_SyQxJ?=!qT$t;DP^yc((T7z2PGph$eg za=I*H975VT&-}#nNncuWLleI|EyAp?9A!mGwka!S%0I-MQWCr$(5YDYCP0cBrQJ3h z+pbsUk7G}r;&Dfn8Dp%{VH>fE?{b=tf~T9-f1GOf9^#jK-#qRi+r`Q%_}dsIn%TqP z?-*R466*W`$!zEMrz^La5!h-zhkS}>S#$DA%=D;%1=lm8MtbZ&AqvQ&JX)SFF2Rp1!(kRGxvwT7y+(oYOUoLE%KHpEYJ^bF z@eT!h))IGC)ym%S+N!GB{P}C^W7|rK2d(wnGk<$llFt4%b9YzM#@>P} z#yy3Fp7ARRIx~CQ=&`MrC{23A3VlI(23sPqxXya?sPpNk`2%;{VSo8$q<}`@wQ>r~ z+hXQ+yOUB>*eL4nw zkJ4lR72{Ds;m=RqL*6Fr$ztp;s!yT*(?-)VLA;a#U)o<3rn)j1{#nDt>N5w$?L_vkQo3PlQk9y^I5h4*2n(F3SS11NF?oCwLG zxsW56aUjnFVydJ*z65qNe5NVz$UCr4z+$|9XnpVcA^R+;FKXw`C^Cz%C$NuCNYB&y zUrruJ+2JU3D>)pwZgEVmd^2dS^bSlO79fD3ZhN?Un9WRxVAY}kJ9o6`5& z+tG)NNN#S!-qaMazTNLxjK>nKQpqtoCH7A!mh$-=9Mz<#1SGe2;-xT2ab}bN(5hWq^-)n8a zO6B9;>v?vDQ;dXB7Ek57XhxA%pwik`qL_uW5HV28e^!&D*?AmNiVPaj@u(PG4DmA~H4^&`RQ?AxtTb80LO7E+-m1P+m8HM^J zv?KXo=JD~sx?5ryIOc)(#9Cdf zII4`8haU@MlIJvgF{4BM6wRxFVJ%|Rj~TUs11SX!i@@8xE2I&1&phutR7x#dCS}mh zS6Y<}Elkd2T1A5%fwmQ)J$$S5EtarpwQZHPCR1%?jk~SQT~k?;pN~szv!O9N3S@Mf zFcpMBhIyH@y1JpYqQ+TOP*CNpcFu3XrK(V)`F1sy8o{MPqaQogR z4Vx$5fQ1#&L6xt;UBA6z=)M$m@v*TRBC0@?a2vB2f%#^QKNfLG}zGoJLNcpHBCT z>Vr>8PN}tUiy;a6L_}^&q`UXcZK6cbRSo-(>ZRpc16-%i5->zdC+UIfL^?1Fpow$_ z7soG&KjACRSG@O4;xDr6u<#K41(Of94)!gmbjU}(u_E}!=7;c@=puQT7zNvb!OvR% zBr2&!e%s-39EZi#Yg@MLz=37UmMy&;SAN!@)f(vZeyBWk)~`u#PHZw;8WLM{qlrpJ z%FcID&SeKKUy5s<&S21K^?I%EeouodH?N=|FW1@lkJTpF&mUYHmC&uETxmFbp4$9T zsREByo_;WIRM(Q&U@`i9aWz2pgWJaZ@$F)g`>*q$%15bhn;D-f zrPB*78y#g}wUKY-KsZl?_h=$n%=vKnZcv|DX*4-D&WzVz(GTWj$=zvgj_6NAF>L;L z3}NMbTwi%UY#lTAqch{}{jV8&SanG27Sev%3!$;nqdF>$=fn1L(LtYBt)3aTKgqpt zEqd-yTGm|vCc<#`(^D8junvqd=$A0-a~{cm*lKo{x5FZFW#s2)G=@< zz7@uS)neM=?2k&c=bQe^m_aqjFwTtjV-+SG6^@Fpm^Z0Srt%DvDFbIXy)Qtrqf{0c z^N#c3_k(ZM-FnxDGb5w&K4#!q4PiRc%~~+e^Y_pV)(5Q?5aOL?A@#)l@Y>g&6Tcb0Zb?GM4%$0bi+@RMR$}5cNWjbqiVy?cl zFvnPzk&==@=k2*^n%tbUG?-)m0B>jmYqBs1h$i2YOQ{<=f%8=99!o)`+iWcv6Rcs% zzW~;lXE&R{8qV57p{ybH5&HV$wCU|)!CKlFtt$kVds|B{``}nZnMD~Q!U?xO-|M1~08y(mYRN6YbF|Ir<$8c?EQ4JfM#br6U6-AlV=_y%x z*M*i!D?t2CJh|uat%&uFp?sy%R|f3D$!vj-D+Gg^tIX!Ak{0K1R$XGD24k3~kilD>g+R_H47#9jrs7&k?UeUwgA?UTtd~MvJ zUqCTJJ?3Y)P|@~~vL7^=DoI_YF06ed-9Rd_BE85KqQmnppf_<@VxoghpO9L6Pttsg z*=owSCr0% z6{f%b?ESrgH`X?U%CiOD?E2}g7-Xe_w`e{~_;R9MzF8lbvgfJrYnB41(`t2C@{JBm z{6Z;_LegaC6bhA;t}}<$yhzbRIfbSATqvTl^nfDTnwFcJmX-rO6x_2$Y!y`iQ<$1A z2)8qM#wCP8TJ)Wj1(tl1JwAGobF5^BMtKm8Vm8~+D5{O-L$#GkqhRI(w*HNnhp^H} zlKU1A%Tg(vt28GOIyV7T&!?^6417~!l~~N~o4ZIaZLsi5gBFxZ&%N$nE=mjA1G5^Y zc}2R(9U+U`j?IYq?L-YHsD7pT1!9Y%p;eFsw!)$XC#S&f#?Bc6vD~#+)1Lt>k(;02nJ0asb&Qc zi=S>Jszjz(*u;`ID};0yOJYE&K7`u16xu0O30@u^+_*|jf@wL@4YUL6$3?S-(G>Gh zuZJ!w_qS>&fr-Lk|3$!Q4ihUHpz`GD*R-ezQ*2^Dt{@deUezLH>TPoW$spQc;_W1U zA@mF^T5k)TgCo?!NGLcU$A@1Nq#?*ZJsm%a6oUsBp(y{tCJJXpw6oo}82-W#o_w*p zkCw{w-$p{)*VbPEU2XohPJ-x9;Vsf znZ&CfqDQusZYsw&dkt$Nm}^xb92&-*n8r?x4oqV!+cUxhh`T%eG9>TUkeRSQh#JJ6 zC|F4MGSnFM6rYLzl&Xd>oLtRFOeU%b$XFM44O$#uZZeV5@U>}pjY3;rx+Y(4$qi zrNETw2AV-c!o)NY&q-xrTW`qxT$%|c z9X=yw4xjS>xOeW~uvIBG04l2rv>*-SBDQhIj=z0&eD!MjaKNh7>*-xGuz&vmzEZGhBFFm8^&32%iEW-vT}hoO z=lb3SwLAH&t-z{l>$Xmhr*m7-b9r%5^Xl~6uQr#K;xlP2Wu;~G$u!zu)LL9xTHG4+ zJo#g7L6xzvu;N%|ZCCf$mhSGFBCq)>+9gh-o=)%qG~R`^I6wYz6h3eDNcW||V{Vn0 z@KyWwA6^M{vDJ~hxP)AFXVEk}rwSJG}0 z=s9)^W=vJo!zCFDckH0Hrut^0zW78Z)=a^cf_%$MFZ|-7!iqge12;?@x^`3do-8n> zbr4M1bI7%r*e>zLiS37$cly}jn}bbgb(BRj`Abn6SI?I9xbIoQ8WY;=sS$=xwoE@bW_H*g z*lDct{3F(f{fWKBCH5}+D?7{HV}HR{qTghHW^bdt)bIgDg9m0|u8!9F#9{6=9x{~( zK1;^DeJW?$n<);6?; z9b@wf(9bDoR|QJcfRpCIdaGv*SZ&tCn&EMr&sx#u?Q8+-!1onBScTFJF6hOolRmUz zKU>TOu+L+V4S`RWv0=8Htw29B0y?Y)oz{XzqoC&oP;C=ha18Vu2Q??eS6eRvO?RTT zce6cMLvb`r`v^&Wij^v%nH;ElWqUyyC#^RXtc zjkog!F+0aM+HAHK)#%ENILFlUcW&QGfvxV=R(1Dck4H|?Xq&rrd|m1I&MoVCRFYCCe{TsexT9jYC; z?^wBGPTSV4>&MoWj%{7PHM&i{ZIy59<=dEilas)(gWi}0ZGo>!!uCzTJK2K$kTrEn ztEZo3tl7JLjG5POU$>dr$5!nahs0wAzp#`kZQxn#O!b9}RsOzb=%vl;wvV%n=~v_@ z7?hKApoEg?OUz~gH6FU;E?}|(dSDECb06gSM#%47kW^YJ6%SpP2n`mjw~C;v?D*RA zPf@GxsS|AB)V=I$Q)d9#IEAmAPrZlme3W9rX@$1r2!9W;ak$cxn$5;F7N;CSIq8jZ zOU#U`)d%eizO410$WLEwl%}2)SHP-p68063I?q7Mb%F-(O`XN>4DP-kYWjcR0QMor z)Tyawf#n%c4ad|8)CgDcjL?vz|Hc=&L{Td63*b2QM0lYBzf<9%pUgX`b7bmLq6#?T zf9(h_8~g=q(1K{W&_jfWwRdQWf7Khf=w5LX~gC-6Ig^I4frqHnn# zx=iSI(JPY%Jw|6_N+LIYh$nkP=;82^{=WB_XceyWQKHYL5b}qzKgkvit<(Qb$!ImX zcP7d|8%&=F_7zf63x(nx^0qeQ?H_&tF8IvL)GPSCL0mQUf&yylezX*Q$-#e2J%;#a z73wKiPu&|@8znh%KTBLl+HIzqfTJJ6NFc%?bBlZ>-XX5R{cH%`&P;tI;-JsNK}-+v zrNAx+!klvcy@$Z&3~)Xr#uOp7q7Z^7V=P~1f-h?0!#FhMOmtEpQBLJKaF@dbB%;Sh zzz@;|s-MDD;DtLq`>smP0IY~la(#qVOF3r3jo>N}19x9*QQOP?t)DtXqX4Ywd8dcS zRF$uRSOrEPBvATHPn1?*L^#QqJu&qVxKs|OQP?SjKS6Ob!Ju%&Mky(%{t7OL!7eUb ziR*<d!SMmB0n#F1`0@ntC56b`8=TXZ?yS(i=xKl( z$(!E_k>yb2^-&3Z5ZOE84e&(&3CIscmMxL>I|gVZ;;7|)eT#BOj(`l3L`TpJ0Vu)v3Wy=?gt}i(-VfmL25`F<^f^oR-rsX5 zI)GZpSG$KmWl%2S5xIYsIXsA)Wn2}?M6ORn_+f#fZbT)bbP#_9lFbBLm{ zT!efCO{B+@uXd27dqp`xaEN}2PbiQw0RMcHlv^N>_8)no7Kq%2k)R1$k#$T`N3H)J z=yk8mm#7`p?^$S#W0WFNekDxQTHzp~6f8E1BMQhl1?9<(BhBc8C2}dWq})E<6PQp= zk~!IGcmergH6zWlQ$MAa!0#c7qp+C{87p7;1W&;Qa4C;~1M4~zP6$?VI)U%hDx1XWHzb5o1a z{RsZ!7!I`C5wzeFQ+MJnJlry@NLR%BQV1R(8%?gCUrGcdjDrE!kAW!tA;Cpwk)O1* zz}t6~H3CsAq~?MAkubTiFh8yQxLja9(xS*i*I+zgKZrg=^h6(FzU1#dWbN>GXY*wM zHfMo@&n69rLKZ2-5zhwVg7HTTYCu1V7qt+S2~LmjFs_neDY*iWm8Z}Wl+b_RjxWZ{ zbVSB!rqsT=`TG0dR5RBiI92eoOe+fUQ7yoo3{*U1Ap_sq7#=#~1 zGtZ)IpGEi2!1?F$&Q$y9@*}iM7-cW4>`;9Jibv2AvW^Ubhw&wOU&1v5yd|x-+jTrT@fz&q!5~|%vaNMD10?N=938d z7h#39&Hu^+Sj{v}^xFU^47xu{Ou9YLy@$UT!nw8A4Hkt zV-VJRq!JM0>n9a{p)x~Dq}~BPSvvfEM5r!|Ol+k^h$^8efD`6K1l+I~QGNicARQVC zgJ3K0722X4znw4mJ_2l{iDVZDpB-8Y`7s&{^2#Z`ya4_p%@ct(48$l;p_nS6fE?uU z2!x*RX+}tX4mw}%Pbv=d3K`#iQssu0Blo%D>K~O;3WX;ETrFl2Beca#)DDyr+S3QZ zXL_2>CGaa8^m)24OHTPBbH&Hw5?ZE$Sva&vaAd6`tYFz+L^DYTW%~I284)epK$$|m z$e-i4f>4tnX$_=|^c0R|q%;Iisa53oe>7An{X+2-G^AcGR{Z?MiqXU|=nI;grWK$U zd<3VJu^^lR92y2FLLZD2G_vybE+Ofakyl7yR=T1?>!@GW#aG`f#lr{_Q{rGRf0SJLd%|2_n6mp$9?+fsRmZ$iv@ zc^>%7en)~AqCJ#+eoZ4{1Gp$y2Wkcg!pjjXohYAtz>&Nk#2bD;XE2n1{&_lXz&lp7 zZWOHGAkI^ITVd}de2mpc`INkY8E9&Q5dMgO{|wvSq%!y-TC zb*9<~tBd@~e$M@LqhgazUia!7iDS}2z|9}>a0QCR!ppWlyE|^xve+enD0~-5>VgM@{do*LPM>7liH*>HnGYNY# zOAuR*eU!P_N4XIDuNGlnWIgspZpALjZP??ujC~QmOR&rF%h)A#1bZDXV@L739D5y) z;k)DCz>daG<2%_8VkhLo*unTE>|p!_`#N?kp1^LZ|Hkib>?uvfPDqZ=wWp%ASt#3z zvN(2uMmjpNi?fx!?2BDk5}t~&PYb)8Sp)W8HDK@OB9V#yFAD7}TYwtHVejW+AE+km zkP6?8n&I1xnt`3Ev?Db)!k*M(Xg%5?n~an8rYd|@~7aZ0gb7od_W5PN&rv(xy3$Lw}4g$n$xe#_X7xVMB`e4{jp`@O$%srbct&@ z(kIZjx_x_QYd{w&Hy7oWi@nFRTb51+I@3XWYa6kPwi&6k;-qh_(~lt+!6t0!S4+wL z2lkkS9k#Idz-tHg^Iq7m2>a-YP?ciL0T zKm+;6r!NIzuU;vzXW$Q_SQ7Xq344+YK*M^}$%zuGQO6qWG+uz8eCV)Kn|dtTCrF2U zkCR_~?-Vv)w5Nof&9vva5Fs{{gN^<;RlqD!{M2ZZW=ND3*JjkO2%$|lOF(aB@3aPW zNkcBeQ|>S2GCBA~74(xK($#_;i}WLC$}bwb6X~ZM<#=d@Jm-mkIlg){p~V{kGZC#% zM=`iojbD=Jry-4qX~i!GyBz6cg3fZfcE~}ppbgQ7ju!EwTtp|5qzvG6{-YJq#9`Bq zRB-Ht{Rrd8KcaAvuvG}BSnTkAHe_FEq1abiE%udm00s{1LM2V2h7Jn6bHJD#^e%z2 zu|e-DXc+8wUxS^-tRup8Y~y;iV$HNG0#>oL)2}Fh7EbUta8Y*E)4Lox8?BOuUF=t5 zAL<$G=w8Zilgz4H)Z5j!sP9rgr~ZA^EYb3mp6a4f4?^!g%;w@BnO)Bd)%U5dXAe^t zo}R}08THem&0>RcarPGS<*A3U(?3>yDej+E=i$6meFJ+}{XJY|iV}y(}jS(^NavPDxX2>0_mcd9`K6svjhGK=2m@(tDG*Lpz?Ha z)rqTCT&e%#=v4>`?E}sMj_?G8(bvcH2)#vl65-TR$>_}_q|FmNPrO5P z;n+D$|1Gr_KicW6XLhauC05}#guTT}pnX?}=T+F*KPx1>YFfw;xPf}KH1t-#M`@Mp ze{gk+=f&cA5GASr`9HB!*^dKX0sc%yi@wh#?Cfvi9$;$*b?TsF2Jr2JaeU9<)9iY7 z7`eWQ{ml=t$MLO!=NbK9r3}bD^#U|X&Vc@;=X2uOB%UY5vspZQ#j`~`Pl;zMJ)?mr zZ-ICwS;~Nhq;N?*7m4&|fj5=(4(?RSUvQ@q-o>4u{}p$FOnaya>fdlDi0|W0&_2MO zAkl8_H$fGfc>1GwBB~{$R6V{_p@NRj5Z|lFMe08zp5E|H6vWJe?oMT|<1H6ox{%O^ zoW`|VK>8D&Y&fIQnt#B(l)WKB$Zn#Z+yH(nMcVNI-9bfa`y23mhXj;uMSeGQT03}Q z5UsuzUzwP|7bW(wEAXuc6~g*?w74(jG2*_AlLQa4VNPF88Dz_Othle>bHsg=6G!%Q z+P^-?<8WPy_LJB$J{Q+vPS(+Kd}TsnEASNv317FMI)ZE6A?PdlSQ1U8+ud< zNfjZ)OM}33G^kF*(?W{CWt1bHYmo|^%+qiuzD9H7q;zifWW<~+5U1uk#E}#P=ZF?N i@HwQy&%FYYT;iz6mw~t?pdGy_B}Grse}Cr)W&aO<=0)iM diff --git a/org/notes.org b/org/notes.org index a4b8f35..61f92cf 100644 --- a/org/notes.org +++ b/org/notes.org @@ -19,10 +19,13 @@ #+LATEX_HEADER: \theoremstyle{definition} #+LATEX_HEADER: \newtheorem{definition}{Definition}[section] + #+LATEX_HEADER: \newtheorem{theorem}{Satz}[section] -#+LATEX_HEADER: \theoremstyle{algo} +#+LATEX_HEADER: \theoremstyle{definition} #+LATEX_HEADER: \newtheorem{algo}{Algorithmus}[section] + +#+LATEX_HEADER: \theoremstyle{definition} #+LATEX_HEADER: \newtheorem*{remark}{Bemerkung} #+LATEX_HEADER: \date{\today}