+ logic => [qw{. ∧ ∨ ⊻ ⊥ ¬ . ⊼ ⊽ ↔ ⊤ - }],
+
+ constant => [qw{. ℝ πϖ ℯ φ ϑ ∂ ℵ }],
+ predicate=> [qw{. ∴ ∵ }],
+ complex => [qw{. ℂ iℑ }],
+ number => [qw{. ℕ ∞ ℤ ℚ ℝℜ ℂ ‰ ℘ }],
+# natural inf int rational
+# Θ
+ function => [qw{. ⌈ ⌉ . ⌊ ⌋ . ƒ ∑ ∏ ∫ ∇ ∝ }],