math.unicode vocabulary - Factor Documentation (original) (raw)
math.unicode vocabulary
Factor handbook » Vocabulary index
Summary
Metadata
| Parents: | math |
|---|---|
| Tags: | math |
Words
Ordinary words
| Word | Stack effect |
|---|---|
 ¬ |
( obj -- ? ) |
| ² |
( m -- n ) |
| ³ |
( m -- n ) |
| ¹ |
( m -- n ) |
 ¼ |
( -- value ) |
| ½ |
( -- value ) |
| ¾ |
( -- value ) |
| × |
( x y -- z ) |
| ÷ |
( x y -- z ) |
| Π |
( seq -- n ) |
| Σ |
( seq -- n ) |
| π |
( -- pi ) |
| φ |
( -- n ) |
| ‰ |
( m -- n ) |
| ‱ |
( m -- n ) |
| ⁿ |
( x y -- x^y ) |
| ⅓ |
( -- value ) |
| ⅔ |
( -- value ) |
| ⅕ |
( -- value ) |
| ⅖ |
( -- value ) |
| ⅗ |
( -- value ) |
| ⅘ |
( -- value ) |
| ⅙ |
( -- value ) |
| ⅚ |
( -- value ) |
| ⅛ |
( -- value ) |
| ⅜ |
( -- value ) |
| ⅝ |
( -- value ) |
| ⅞ |
( -- value ) |
| ∀ |
( ... seq quot: ( ... elt -- ... ? ) -- ... ? ) |
| ∃ |
( ... seq quot: ( ... elt -- ... ? ) -- ... ? ) |
| ∄ |
( ... seq quot: ( ... elt -- ... ? ) -- ... ? ) |
| ∈ |
( elt seq -- ? ) |
| ∉ |
( elt seq -- y ) |
| ∋ |
( seq elt -- ? ) |
| ∌ |
( seq elt -- y ) |
| − |
( x y -- z ) |
| ∕ |
( x y -- z ) |
| ∖ |
( set1 set2 -- set ) |
| √ |
( x -- y ) |
| ∛ |
( x -- y ) |
| ∜ |
( x -- y ) |
| ∞ |
( -- value ) |
| ∧ |
( obj1 obj2 -- obj2/f ) |
| ∨ |
( obj1 obj2 -- obj1/obj2 ) |
| ∩ |
( set1 set2 -- set ) |
| ∪ |
( set1 set2 -- set ) |
| ≠ |
( obj1 obj2 -- ? ) |
| ≤ |
( x y -- ? ) |
| ≥ |
( x y -- ? ) |
| ⊂ |
( set1 set2 -- ? ) |
| ⊃ |
( set1 set2 -- ? ) |
| ⊄ |
( set1 set2 -- ? ) |
| ⊅ |
( set1 set2 -- ? ) |
| ⊼ |
( obj1 obj2 -- ? ) |
| ⊽ |
( obj1 obj2 -- ? ) |
| ⌈ |
( x -- y ) |
| ⌊ |
( x -- y ) |
Files
resource:extra/math/unicode/unicode.factor
Metadata files