I just deployed a new version of unicode-math to Clojars. It’s a silly toy project that implements as many of Unicode’s math symbols as possible in Clojure. If you use it, you can write things like:

Binet’s Fibonacci Number Formula:

1 2 3 4 ( defn binet-fib [ n ] ( / ( - ( ⁿ φ n ) ( ⁿ ( - φ ) ( - n ))) ( √ 5 )))

de Morgan’s Laws:

1 2 3 ( assert ( ∀ [ p [ true false ] q [ true false ]] ( = ( ¬ ( ∧ p q )) ( ∨ ( ¬ p ) ( ¬ q )))))

Inclusion-Exclusion Principle:

1 2 3 4 ( assert ( = ( count ( ∪ A B )) ( + ( count A ) ( count B ) ( - ( count ( ∩ A B ))))))

Instructions for use are on the project’s Github page. The full list of implemented symbols is in src/unicode_math/core.clj.