 (when (display-graphic-p) (set-scroll-bar-mode nil))
 
 ;; Global prettification. Because lambda is λ dammit.
+(push '("forall" . ?∀) prettify-symbols-alist)
+(push '("exists" . ?∃) prettify-symbols-alist)
+(push '("not" . ?¬) prettify-symbols-alist)
+(push '("implies" . ?⇒) prettify-symbols-alist)
+(push '("iff" . ?⇔) prettify-symbols-alist)
+(push '("lambda" . ?λ) prettify-symbols-alist)
+(push '("def" . ?λ) prettify-symbols-alist)
 (global-prettify-symbols-mode t)
 
 ;; Window manipulations

;;; Code:

;;;; Themes
;; (load-theme 'ample t t)
;; (enable-theme 'ample)
;; (load-theme 'ample-flat t t)
;; (enable-theme 'ample-flat)
(load-theme 'reykjavik t t)
(enable-theme 'reykjavik)

;;;; Font stuff
;; Test banner:
;; ilIega1o = 0O == -> --> ############ # && && || || <> << >> >>= <<= /= =/= != ~=!=
(set-face-attribute 'default nil :family "FuraCode Nerd Font" :height 200)
;(set-face-attribute 'default nil :family "InconsolataGo" :height 180)
;(set-face-attribute 'default nil :family "Fira Code" :height 200)

(ido-mode t)
(setq ido-enable-flex-matching t)
(setq ido-everywhere t)
(setq ido-default-buffer-method "selected-window")
(ido-ubiquitous-mode t)

;; Apparantly this one annoys a bunch of people, setting to nil disables.
