Unicode-math 0.2.0 Released

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.

Comments