math.unicode: implement unicode math symbols.

extra/math/unicode/unicode.factor

@@ -0,0 +1,77 @@
+! Copyright (C) 2013 John Benediktsson
+! See http://factorcode.org/license.txt for BSD license
+
+USING: kernel literals math math.constants math.functions
+memoize sequences sequences.extras sets sets.extras ;
+
+IN: math.unicode
+
+CONSTANT: ½ 1/2
+CONSTANT: ¼ 1/4
+CONSTANT: ¾ 3/4
+CONSTANT: ⅓ 1/3
+CONSTANT: ⅔ 2/3
+CONSTANT: ⅕ 1/5
+CONSTANT: ⅖ 2/5
+CONSTANT: ⅗ 3/5
+CONSTANT: ⅘ 4/5
+CONSTANT: ⅙ 1/6
+CONSTANT: ⅚ 5/6
+CONSTANT: ⅛ 1/8
+CONSTANT: ⅜ 3/8
+CONSTANT: ⅝ 5/8
+CONSTANT: ⅞ 7/8
+
+ALIAS: ≤ <=
+ALIAS: ≥ >=
+
+: ≠ ( obj1 obj2 -- ? ) = not ; inline
+
+! Please don't use these
+ALIAS: − -
+ALIAS: ÷ /
+ALIAS: ∕ /
+ALIAS: × *
+
+ALIAS: ⁿ ^
+: ¹ ( m -- n ) ; inline
+: ² ( m -- n ) 2 ⁿ ; inline
+: ³ ( m -- n ) 3 ⁿ ; inline
+ALIAS: √ sqrt
+: ∛ ( x -- y ) ⅓ ⁿ ; inline
+: ∜ ( x -- y ) ¼ ⁿ ; inline
+
+ALIAS: ⌈ ceiling
+ALIAS: ⌊ floor
+
+ALIAS: π pi
+
+MEMO: φ ( -- n ) 5 √ 1 + 2 / ;
+CONSTANT: ∞ 1/0.
+
+ALIAS: Π product
+ALIAS: Σ sum
+
+: ‰ ( m -- n ) 1000 / ; inline
+: ‱ ( m -- n ) 10000 / ; inline
+
+ALIAS: ¬ not
+ALIAS: ∧ and
+ALIAS: ∨ or
+: ⊽ ( obj1 obj2 -- ? ) ∨ ¬ ; inline
+: ⊼ ( obj1 obj2 -- ? ) ∧ ¬ ; inline
+ALIAS: ∀ all?
+ALIAS: ∃ any?
+ALIAS: ∄ none?
+
+ALIAS: ∩ intersect
+ALIAS: ∪ union
+: ∋ ( seq elt -- ? ) swap member? ; inline
+ALIAS: ∈ member?
+: ∉ ( elt seq -- y ) ∈ not ; inline
+: ∌ ( seq elt -- y ) ∋ not ; inline
+ALIAS: ∖ diff
+ALIAS: ⊂ subset?
+ALIAS: ⊃ superset?
+: ⊄ ( set1 set2 -- ? ) ⊂ not ; inline
+: ⊅ ( set1 set2 -- ? ) ⊃ not ; inline