diff --git a/fc-lang/und_zmth.orth b/fc-lang/und_zmth.orth index ff92ba7..227afee 100644 --- a/fc-lang/und_zmth.orth +++ b/fc-lang/und_zmth.orth @@ -90,31 +90,20 @@ 203B # N # ※ REFERENCE MARK 2044 # X # ⁄ FRACTION SLASH 2057 # N # ⁗ QUADRUPLE PRIME -20D0..20D2 # D # ⃐..⃒ COMBINING LEFT HARPOON ABOVE..LONG VERTICAL LINE OVERLAY 20E1 # D # ⃡ COMBINING LEFT RIGHT ARROW ABOVE 2102 # A # ℂ DOUBLE-STRUCK CAPITAL C -2107 # N # ℇ EULER CONSTANT 210E..210F # N # ℎ..ℏ PLANCK CONSTANT.. OVER TWO PI 2110..2113 # A # ℐ..ℓ SCRIPT CAPITAL I..SMALL L 2115 # A # ℕ DOUBLE-STRUCK CAPITAL N 2118..211D # A # ℘..ℝ SCRIPT CAPITAL P..DOUBLE-STRUCK CAPITAL R 2124 # A # ℤ DOUBLE-STRUCK CAPITAL Z 2126..2127 # N # Ω..℧ OHM SIGN..INVERTED OHM SIGN -2128 # A # ℨ BLACK-LETTER CAPITAL Z -212B..212D # A # Å..ℭ ANGSTROM SIGN..BLACK-LETTER CAPITAL C -213C..213D # A # ℼ..ℽ DOUBLE-STRUCK SMALL PI..GAMMA -213E # N # ℾ DOUBLE-STRUCK CAPITAL GAMMA -213F # A # ℿ DOUBLE-STRUCK CAPITAL PI -2140 # L # ⅀ DOUBLE-STRUCK N-ARY SUMMATION -21B0..21B3 # R # ↰..↳ UPWARDS ARROW WITH TIP LEFTWARDS..DOWNWARDS ARROW WITH TIP RIGHTWARDS -21B6..21B7 # R # ↶..↷ ANTICLOCKWISE TOP SEMICIRCLE ARROW..CLOCKWISE TOP SEMICIRCLE ARROW 2200..2201 # U # ∀..∁ FOR ALL..COMPLEMENT 2202 # N # ∂ PARTIAL DIFFERENTIAL 2203..2204 # U # ∃..∄ THERE EXISTS..DOES NOT EXIST 2205 # N # ∅ EMPTY SET 2206..2207 # U # ∆..∇ INCREMENT..NABLA 2208..220D # R # ∈..∍ ELEMENT OF..SMALL CONTAINS AS MEMBER -220E # N # ∎ END OF PROOF 220F..2211 # L # ∏..∑ N-ARY PRODUCT..SUMMATION 2212..2213 # V # −..∓ MINUS SIGN..MINUS-OR-PLUS SIGN 2214..2219 # B # ∔..∙ DOT PLUS..BULLET OPERATOR @@ -122,7 +111,6 @@ 221E..2222 # N # ∞..∢ INFINITY..SPHERICAL ANGLE 2223..2226 # R # ∣..∦ DIVIDES..NOT PARALLEL TO 2227..222A # B # ∧..∪ LOGICAL AND..UNION -222B..2233 # L # ∫..∳ INTEGRAL..ANTICLOCKWISE CONTOUR INTEGRAL 2234..2235 # N # ∴..∵ THEREFORE..BECAUSE 2236..2237 # R # ∶..∷ RATIO..PROPORTION 2238 # B # ∸ DOT MINUS @@ -130,29 +118,20 @@ 223E # B # ∾ INVERTED LAZY S 223F # N # ∿ SINE WAVE 2240 # B # ≀ WREATH PRODUCT -2241..228B # R # ≁..⊋ NOT TILDE..SUPERSET OF WITH NOT EQUAL TO 228C..228E # B # ⊌..⊎ MULTISET.. UNION 228F..2292 # R # ⊏..⊒ SQUARE IMAGE OF..ORIGINAL OF OR EQUAL TO 2293..22A1 # B # ⊓..⊡ SQUARE CAP..SQUARED DOT OPERATOR 22A2..22A3 # R # ⊢..⊣ RIGHT TACK..LEFT TACK 22A4..22A5 # N # ⊤..⊥ DOWN TACK..UP TACK -22B9..22BD # B # ⊹..⊽ HERMITIAN CONJUGATE MATRIX..NOR -22BE..22BF # N # ⊾..⊿ RIGHT ANGLE WITH ARC..TRIANGLE 22C0..22C3 # L # ⋀..⋃ N-ARY LOGICAL AND..UNION -22C4..22C7 # B # ⋄..⋇ DIAMOND OPERATOR..DIVISION TIMES 22C8 # R # ⋈ BOWTIE -22C9..22CC # B # ⋉..⋌ LEFT NORMAL FACTOR SEMIDIRECT PRODUCT..RIGHT SEMIDIRECT PRODUCT 22CD # R # ⋍ REVERSED TILDE EQUALS 22CE..22CF # B # ⋎..⋏ CURLY LOGICAL OR..AND -22D0..22D1 # R # ⋐..⋑ DOUBLE SUBSET..SUPERSET -22D2..22D3 # B # ⋒..⋓ DOUBLE INTERSECTION..UNION 2300 # N # ⌀ DIAMETER SIGN -2305..2306 # B # ⌅..⌆ PROJECTIVE..PERSPECTIVE 2308 # O # ⌈ LEFT CEILING 2309 # C # ⌉ RIGHT CEILING 230A # O # ⌊ LEFT FLOOR 230B # C # ⌋ RIGHT FLOOR -2319 # N # ⌙ TURNED NOT SIGN 231C # O # ⌜ TOP LEFT CORNER 231D # C # ⌝ TOP RIGHT CORNER 231E # O # ⌞ BOTTOM LEFT CORNER @@ -160,31 +139,20 @@ 2322..2323 # R # ⌢..⌣ FROWN..SMILE 25A0..25A1 # N # ■..□ BLACK SQUARE..WHITE SQUARE 25E6 # B # ◦ WHITE BULLET -25EF # N # ◯ LARGE CIRCLE 2660..2667 # N # ♠..♧ BLACK SPADE SUIT..WHITE CLUB SUIT 266D..266F # N # ♭..♯ MUSIC FLAT SIGN..SHARP SIGN -2713 # N # ✓ CHECK MARK -2720 # N # ✠ MALTESE CROSS 27E6 # O # ⟦ MATHEMATICAL LEFT WHITE SQUARE BRACKET 27E7 # C # ⟧ MATHEMATICAL RIGHT WHITE SQUARE BRACKET 27E8 # O # ⟨ MATHEMATICAL LEFT ANGLE BRACKET 27E9 # C # ⟩ MATHEMATICAL RIGHT ANGLE BRACKET -27EA # O # ⟪ MATHEMATICAL LEFT DOUBLE ANGLE BRACKET -27EB # C # ⟫ MATHEMATICAL RIGHT DOUBLE ANGLE BRACKET 1D400..1D454 # A # 𝐀..𝑔 MATHEMATICAL BOLD CAPITAL A..ITALIC SMALL G 1D456..1D49C # A # 𝑖..𝒜 MATHEMATICAL ITALIC SMALL I..SCRIPT CAPITAL A 1D49E..1D49F # A # 𝒞..𝒟 MATHEMATICAL SCRIPT CAPITAL C..D 1D4A2 # A # 𝒢 MATHEMATICAL SCRIPT CAPITAL G 1D4A5..1D4A6 # A # 𝒥..𝒦 MATHEMATICAL SCRIPT CAPITAL J..K 1D4A9..1D4AC # A # 𝒩..𝒬 MATHEMATICAL SCRIPT CAPITAL N..Q -1D507..1D50A # A # 𝔇..𝔊 MATHEMATICAL FRAKTUR CAPITAL D..G -1D50D..1D514 # A # 𝔍..𝔔 MATHEMATICAL FRAKTUR CAPITAL J..Q -1D516..1D51C # A # 𝔖..𝔜 MATHEMATICAL FRAKTUR CAPITAL S..Y -1D51E..1D539 # A # 𝔞..𝔹 MATHEMATICAL FRAKTUR SMALL A..DOUBLE-STRUCK CAPITAL B 1D53B..1D53E # A # 𝔻..𝔾 MATHEMATICAL DOUBLE-STRUCK CAPITAL D..G 1D540..1D544 # A # 𝕀..𝕄 MATHEMATICAL DOUBLE-STRUCK CAPITAL I..M 1D546 # A # 𝕆 MATHEMATICAL DOUBLE-STRUCK CAPITAL O 1D54A..1D550 # A # 𝕊..𝕐 MATHEMATICAL DOUBLE-STRUCK CAPITAL S..Y -1D552..1D6A5 # A # 𝕒..𝚥 MATHEMATICAL DOUBLE-STRUCK SMALL A..ITALIC SMALL DOTLESS J 1D6A4..1D6A5 # A # 𝚤..𝚥 MATHEMATICAL ITALIC SMALL DOTLESS I..J -1D7CE..1D7FF # N # 𝟎..𝟿 MATHEMATICAL BOLD DIGIT ZERO..MONOSPACE DIGIT NINE