(Emacs)~prettify symbols so they don't screw up heights

Emacs/.config/emacs/config.org

@@ -1612,8 +1612,8 @@ pretty symbols to eshell.
   (eshell-mode-hook
    ("lambda"  . "λ")
    ("numberp" . "ℤ")
-   ("t"       . "⊤")
-   ("nil"     . "∅"))
+   ("t"       . "⊨")
+   ("nil"     . "Ø"))
   :general
   (leader
     "tt" #'+shell/toggle-eshell)
@@ -2341,44 +2341,34 @@ opposing style.
   (c++-mode-hook . auto-fill-mode)
   :pretty
   (c-mode-hook
-   ("puts"    . "ℙ")
+   ("puts"    . "φ")
    ("fputs"   . "ϕ")
    ("printf"  . "ω")
    ("fprintf" . "Ω")
-   ("->"      . "→")
-   ("NULL"    . "∅")
-   ("true"    . "⊤")
-   ("false"   . "⊥")
-   ("char"    . "ℂ")
-   ("int"     . "ℤ")
-   ("float"   . "ℚ")
-   ("double"  . "ℝ")
+   ("NULL"    . "Ø")
+   ("true"    . "⊨")
+   ("false"   . "⊭")
    ("!"       . "¬")
-   ("&&"      . "∧")
-   ("||"      . "∨")
+   ("&&"      . "⋀")
+   ("||"      . "⋁")
    ("for"     . "∀")
    ("return"  . "⟼"))
   (c++-mode-hook
-   ("nullptr"     . "∅")
-   ("string"      . "𝕊")
-   ("vector"      . "ℓ")
-   ("puts"        . "ℙ")
-   ("fputs"       . "ϕ")
-   ("printf"      . "ω")
-   ("fprintf"     . "Ω")
-   ("->"          . "→")
-   ("NULL"        . "∅")
-   ("true"        . "⊤")
-   ("false"       . "⊥")
-   ("char"        . "ℂ")
-   ("int"         . "ℤ")
-   ("float"       . "ℚ")
-   ("double"      . "ℝ")
-   ("!"           . "¬")
-   ("&&"          . "∧")
-   ("||"          . "∨")
-   ("for"         . "∀")
-   ("return"      . "⟼"))
+   ("nullptr" . "Ø")
+   ("string"  . "𝕊")
+   ("vector"  . "ℓ")
+   ("puts"    . "φ")
+   ("fputs"   . "ϕ")
+   ("printf"  . "ω")
+   ("fprintf" . "Ω")
+   ("NULL"    . "Ø")
+   ("true"    . "⊨")
+   ("false"   . "⊭")
+   ("!"       . "¬")
+   ("&&"      . "⋀")
+   ("||"      . "⋁")
+   ("for"     . "∀")
+   ("return"  . "⟼"))
   :init
   (setq-default c-basic-offset 2)
   (setq-default c-default-style '((other . "user")))
@@ -2477,22 +2467,18 @@ feature.
   :defer t
   :pretty
   (csharp-mode-hook
-   ("null"     . "∅")
-   ("string"      . "𝕊")
+   ("null"      . "∅")
+   ("string"    . "𝕊")
    ("List"      . "ℓ")
-   ("WriteLine"   . "ℙ")
-   ("Write"      . "ω")
-   ("->"          . "→")
-   ("true"        . "⊤")
-   ("false"       . "⊥")
-   ("char"        . "ℂ")
-   ("int"         . "ℤ")
-   ("float"       . "ℝ")
-   ("!"           . "¬")
-   ("&&"          . "∧")
-   ("||"          . "∨")
-   ("for"         . "∀")
-   ("return"      . "⟼")))
+   ("WriteLine" . "φ")
+   ("Write"     . "ω")
+   ("true"      . "⊨")
+   ("false"     . "⊭")
+   ("!"         . "¬")
+   ("&&"        . "⋀")
+   ("||"        . "⋁")
+   ("for"       . "∀")
+   ("return"    . "⟼")))
 #+end_src
 ** Java
 I kinda dislike Java, but if necessary I will code in it.  Might have
@@ -2503,17 +2489,14 @@ Just setup a style and some pretty symbols.
   :straight nil
   :pretty
   (java-mode-hook
-   ("println" . "ℙ")
+   ("println" . "φ")
    ("printf"  . "ω")
-   ("null"    . "∅")
-   ("true"    . "⊤")
-   ("false"   . "⊥")
-   ("char"    . "ℂ")
-   ("int"     . "ℤ")
-   ("float"   . "ℝ")
+   ("null"    . "Ø")
+   ("true"    . "⊨")
+   ("false"   . "⊭")
    ("!"       . "¬")
-   ("&&"      . "∧")
-   ("||"      . "∨")
+   ("&&"      . "⋀")
+   ("||"      . "⋁")
    ("for"     . "∀")
    ("return"  . "⟼"))
   :config
@@ -2585,19 +2568,17 @@ Basic, haven't used python in this configuration yet.
   :straight nil
   :pretty
   (python-mode-hook
-   ("None"   . "∅")
+   ("None"   . "Ø")
    ("list"   . "ℓ")
    ("List"   . "ℓ")
    ("str"    . "𝕊")
-   ("True"   . "⊤")
-   ("False"  . "⊥")
-   ("int"    . "ℤ")
-   ("float"  . "ℝ")
-   ("not"    . "¬")
-   ("and"    . "∧")
-   ("or"     . "∨")
+   ("True"   . "⊨")
+   ("False"  . "⊭")
+   ("!"      . "¬")
+   ("&&"     . "⋀")
+   ("||"     . "⋁")
    ("for"    . "∀")
-   ("print"  . "ℙ")
+   ("print"  . "φ")
    ("lambda" . "λ")
    ("return" . "⟼")
    ("yield"  . "⟻"))
@@ -2667,11 +2648,10 @@ appropriately.
   :pretty
   (emacs-lisp-mode-hook
    ("lambda"  . "λ")
-   ("numberp" . "ℤ")
-   ("t"       . "⊤")
-   ("nil"     . "∅")
-   ("and"     . "∧")
-   ("or"      . "∨")
+   ("t"       . "⊨")
+   ("nil"     . "Ø")
+   ("and"     . "⋀")
+   ("or"      . "⋁")
    ("defun"   . "ƒ")
    ("for"     . "∀")
    ("mapc"    . "∀")