diff --git a/config.el b/config.el
index c5f465a..00ad267 100644
--- a/config.el
+++ b/config.el
@@ -242,24 +242,40 @@
         "*/_region_.tex"))
 
 
-(use-package! org-super-agenda
-  :after org-agenda
-  :init
-  (setq org-super-agenda-groups '((:name "Today"
-                                   :time-grid t
-                                   :scheduled today)
-                                  (:name "Due Today"
-                                   :deadline today)
-                                  (:name "Important"
-                                   :priority "❗")
-                                  (:name "Overdue"
-                                   :deadline past)
-                                  (:name "Due Soon"
-                                   :deadline future)
-                                  (:name "Big Outcomes"
-                                   :tag "bo")))
-  :config
-  (org-super-agenda-mode))
-;; Configure Zen mode
-;; AAutomatically go to full screen mode when activated
- (setq writeroom-fullscreen-effect t)
+(use-package! org-super-agenda
+  :after org-agenda
+  :init
+  (setq org-super-agenda-groups '((:name "Today"
+                                   :time-grid t
+                                   :scheduled today)
+                                  (:name "Due Today"
+                                   :deadline today)
+                                  (:name "Important"
+                                   :priority "❗")
+                                  (:name "Overdue"
+                                   :deadline past)
+                                  (:name "Due Soon"
+                                   :deadline future)
+                                  (:name "Big Outcomes"
+                                   :tag "bo")))
+  :config
+  (org-super-agenda-mode))
+;; Configure Zen mode
+;; AAutomatically go to full screen mode when activated
+ (setq writeroom-fullscreen-effect t)
+
+(setq
+  global-whitespace-mode t
+  whitespace-style '(face tabs tab-mark spaces space-mark trailing lines-tail newline newline-mark)
+  whitespace-display-mappings '(
+    (space-mark   ?\     [?\u00B7]     [?.])
+    (space-mark   ?\xA0  [?\u00A4]     [?_])
+    (newline-mark ?\n    [?¬ ?\n])
+    (tab-mark     ?\t    [?\u00BB ?\t] [?\\ ?\t])))
+
+(global-whitespace-mode +1)
+
+;; Setup spray for reading
+(map! :leader
+      :desc "Change to spray mode"
+      "<f6>" #'spray-mode)
diff --git a/init.el b/init.el
index 16ffbbb..81c2639 100644
--- a/init.el
+++ b/init.el
@@ -114,7 +114,7 @@
        ;;cc                ; C/C++/Obj-C madness
        ;;clojure           ; java with a lisp
        ;;common-lisp       ; if you've seen one lisp, you've seen them all
-       ;;coq               ; proofs-as-programs
+       coq                 ; proofs-as-programs
        ;;crystal           ; ruby at the speed of c
        ;;csharp            ; unity, .NET, and mono shenanigans
        ;;data              ; config/data formats
diff --git a/packages.el b/packages.el
index 15fe793..b703255 100644
--- a/packages.el
+++ b/packages.el
@@ -51,3 +51,4 @@
 (package! zetteldeft)
 (package! org-roam-server)
 (package! org-super-agenda)
+(package! spray)