diff options
| -rw-r--r-- | symbols.txt | 3 | ||||
| -rw-r--r-- | tempo.md | 12 |
2 files changed, 10 insertions, 5 deletions
diff --git a/symbols.txt b/symbols.txt index 8e8c315..e016271 100644 --- a/symbols.txt +++ b/symbols.txt @@ -34,4 +34,5 @@ i i ≈ almost ⚛ atom H aH -He aHe
\ No newline at end of file +He aHe +⋿ type
\ No newline at end of file @@ -100,6 +100,10 @@ def \prop\ `[x y] x+. = y` (A \prop\ B) denotes that a certain object is a property of another, by indicating that its combination with another object results in the target. this also implies that you can consider `0` as property of all, and `1` as property of all the numbers above it, and so on. +def \type\ `[x y] y\prop\x` (A \type\ B) +^^ typeof: +the reverse implication of `\prop\`, showing that axiom A is of type axiom B. + def \neq\ `[x y] - x=y` (A \neq\ B) ^^ unequal: shows that the two input objects are non-equal. @@ -260,19 +264,19 @@ def \matter\ `A=. A\neq\0 \static\\id\A A\almost\\energy\` ^^ matter: **universe dependent**. existence which has a persistent identity and is weakly equal to energy. -def \atom\ `A=. A=\matter\ \epsilon\*A=A (\me\)\prop\A` +def \atom\ `A=. A\type\\matter\ \epsilon\*A=A (\me\)\prop\A` ^^ atom: an indivisible type of matter which has the property of identity. -def \aH\ `A=. A=\atom\ (\atom\+1)\id\A` +def \aH\ `A=. A\type\\atom\ (\atom\+1)\id\A` ^^ hydrogen: an atom identified by the unity (1). -def \aHe\ `A=. A=\atom\ (\atom\+2)\id\A` +def \aHe\ `A=. A\type\\atom\ (\atom\+2)\id\A` ^^ helium: an atom identified by the composite 2. -the rest of the atoms can be defined as such. +other atoms can be defined using the same method. ## update log |