From c2db7bac1425ef1964e7a0682047787343bfda27 Mon Sep 17 00:00:00 2001
From: Moon Flower <mforoud86@gmail.com>
Date: Mon, 23 Feb 2026 09:38:47 +0330
Subject: some&all + symbol shortcuts

---
 tempo.md | 45 +++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 45 insertions(+)

(limited to 'tempo.md')

diff --git a/tempo.md b/tempo.md
index b616577..15fa531 100644
--- a/tempo.md
+++ b/tempo.md
@@ -119,6 +119,7 @@ denotes that there is no such other object equating this one.
 def \static\ `[x] x>x` (\static\ A)
 ^^ static:
 denotes an object that never changes. that is, it is its own consequence.
+an alternative definition would be `[x] @x=x`, claiming that an object's change is itself.
 
 def \id\ `[x y] A=x A\prop\y \unique\A \static\A` (A \id\ B)
 ^^ id:
@@ -153,10 +154,19 @@ def < `[x y] y>x + x\neq\y` (A < B)
 ^^ before:
 B > A & A \neq\ B, denotes B comes after A and they are not the same.
 
+def \between\ `[a x y] x\neq\f f\neq\y x>f f>y` (A \between\ B C)
+^^ between:
+shows that an event takes place between two other events.
+
 def | `[x] A=. A<x A` (| B)
 ^^ separate:
 the object(s) preceeding the combination of an input object. breaks down an input into its creating parts. using this on a static atomic object will return either itself.
 
+def ^ `[x y] |y=.+x` (A ^ B)
+^^ inside:
+shows that an axiom is part of another one.
+alternative definition: `[x y] (.+x)=y`
+
 def ! `.*0`
 ^^ ???:
 an indescribable, unknown, and paradoxical axiom.
@@ -209,6 +219,8 @@ def \nand\ `[x y] - x&y` (A \nand\ B)
 ^^ nand:
 logical NAND. this expression is proven to be functionally complete, meaning you can build any conceivable logical contraption out of this. for the sake of originality though, we will not be using this to scaffold a rule 110 emulator.
 
+i will not be defining other logical operators here, they are trivial.
+
 def \speaker\ `A=. . < \me\x A` (\speaker\ B)
 ^^ speaker:
 what came before "me"? the originator of the thought, of course.
@@ -291,11 +303,44 @@ def \you\ `A=.\type\\listener\ B=\axiom\. \speaker\>B \hypo\(B>A A\comprehend\)
 indicates a listener that can hypothetically comprehend an axiom created by the speaker.
 the target of the speaker's words.
 
+def \context\ `[x] A=.\type\(\me\\axiom\) !\comp\x \comp\(x+A) A` (\context\ B)
+^^ context:
+an axiom, without which, the input axiom cannot be comprehended, but with it, the listener can comprehend the input axiom.
+
+def \nuos\ `[x] A=.\type\(\me\\world\) B=x B\type\\mind\ A^B A` (\nuos\ C)
+^^ nuos:
+the internal world, context and logic of a specific mind. defines a world which exists inside of another.
+
+def ? `A=.\type\\axiom\ B=.\type\\axiom\ B>A (!((\speaker\B)\comp\))>B B`
+^^ question:
+an axiom, which originates from a void of comprehension, and leads to another axiom.
+
+def ; `A=.\type\\axiom\ B=.\type\\axiom\ B>A (!((\speaker\B)\comp\))>B A`
+^^ answer:
+the axiom created from the void of comprehension.
+
+**note to all**: do not try to define love. poetry is not definition.
+
+def \all\ `[x y] -(A=.\type\x -(A^y))` (\all\ B C)
+^^ all:
+for all axioms of type B, every one of them exists inside C.
+
+def \some\ `[x y] -(\all\ x -y)` (\some\ A B)
+^^ some:
+there exists an axiom of type A which is inside of B.
+alternative definition: `[x y] A=.\type\x A^y`
+
 ## update log
 
 // Timestamp: future
 - more coming soon.
 
+// Timestamp: 2026-02-23 09:37:18 UTC+3:30
+- added symbols \some\ and \all\.
+
+// Timestamp: 2026-02-22 13:15:30 UTC+3:30
+- added symbols \between\, \ctx\ and \nuos\.
+
 // Timestamp: 2026-01-03 16:29:56 UTC+3:30
 - added symbols \hypo\ and \you\.
 
-- 
cgit v1.2.3