new axioms + fontfix

3 files changed, 51 insertions, 32 deletions

diff --git a/styles.css b/styles.css
index 75efc7d..749b791 100644
--- a/styles.css
+++ b/styles.css
@@ -1,41 +1,41 @@
 @font-face {
   font-family: 'Charter';
-  src: url('fonts/Charter Regular.ttf') format('truetype');
+  src: url('fonts/Charter/Charter Regular.ttf') format('truetype');
   font-weight: normal;
   font-style: normal;
 }
 
 @font-face {
   font-family: 'Charter';
-  src: url('fonts/Charter Italic.ttf') format('truetype');
+  src: url('fonts/Charter/Charter Italic.ttf') format('truetype');
   font-weight: normal;
   font-style: italic;
 }
 
 @font-face {
   font-family: 'Charter';
-  src: url('fonts/Charter Bold.ttf') format('truetype');
+  src: url('fonts/Charter/Charter Bold.ttf') format('truetype');
   font-weight: bold;
   font-style: normal;
 }
 
 @font-face {
   font-family: 'Charter';
-  src: url('fonts/Charter Bold Italic.ttf') format('truetype');
+  src: url('fonts/Charter/Charter Bold Italic.ttf') format('truetype');
   font-weight: bold;
   font-style: italic;
 }
 
 @font-face {
 	font-family: "Roboto Mono";
-	src: url("fonts/RobotoMono-VariableFont_wght.ttf") format("truetype");
+	src: url("fonts/Roboto/RobotoMono-VariableFont_wght.ttf") format("truetype");
 	font-weight: 100 900;
 	font-style: normal;
 }
 
 @font-face {
 	font-family: "Roboto Mono";
-	src: url("fonts/RobotoMono-Italic-VariableFont_wght.ttf") format("truetype");
+	src: url("fonts/Roboto/RobotoMono-Italic-VariableFont_wght.ttf") format("truetype");
 	font-weight: 100 900;
 	font-style: italic;
 }
@@ -201,6 +201,7 @@ header span.def-name {
 	font-size: 0.95em;
 	/* border-radius: 2px; */
 	font-weight: normal;
+	font-family: 'Roboto Mono';
 }
 
 .eng-text {
@@ -217,7 +218,7 @@ desc {
 	margin-top: 0.5rem;
 	font-size: 0.95rem;
 	color: var(--desc-text);
-	padding-left: 38px;
+	padding-left: 32px;
 }
 
 .timestamp-badge {
diff --git a/styles3.css b/styles3.css
index 75efc7d..749b791 100644
--- a/styles3.css
+++ b/styles3.css
@@ -1,41 +1,41 @@
 @font-face {
   font-family: 'Charter';
-  src: url('fonts/Charter Regular.ttf') format('truetype');
+  src: url('fonts/Charter/Charter Regular.ttf') format('truetype');
   font-weight: normal;
   font-style: normal;
 }
 
 @font-face {
   font-family: 'Charter';
-  src: url('fonts/Charter Italic.ttf') format('truetype');
+  src: url('fonts/Charter/Charter Italic.ttf') format('truetype');
   font-weight: normal;
   font-style: italic;
 }
 
 @font-face {
   font-family: 'Charter';
-  src: url('fonts/Charter Bold.ttf') format('truetype');
+  src: url('fonts/Charter/Charter Bold.ttf') format('truetype');
   font-weight: bold;
   font-style: normal;
 }
 
 @font-face {
   font-family: 'Charter';
-  src: url('fonts/Charter Bold Italic.ttf') format('truetype');
+  src: url('fonts/Charter/Charter Bold Italic.ttf') format('truetype');
   font-weight: bold;
   font-style: italic;
 }
 
 @font-face {
 	font-family: "Roboto Mono";
-	src: url("fonts/RobotoMono-VariableFont_wght.ttf") format("truetype");
+	src: url("fonts/Roboto/RobotoMono-VariableFont_wght.ttf") format("truetype");
 	font-weight: 100 900;
 	font-style: normal;
 }
 
 @font-face {
 	font-family: "Roboto Mono";
-	src: url("fonts/RobotoMono-Italic-VariableFont_wght.ttf") format("truetype");
+	src: url("fonts/Roboto/RobotoMono-Italic-VariableFont_wght.ttf") format("truetype");
 	font-weight: 100 900;
 	font-style: italic;
 }
@@ -201,6 +201,7 @@ header span.def-name {
 	font-size: 0.95em;
 	/* border-radius: 2px; */
 	font-weight: normal;
+	font-family: 'Roboto Mono';
 }
 
 .eng-text {
@@ -217,7 +218,7 @@ desc {
 	margin-top: 0.5rem;
 	font-size: 0.95rem;
 	color: var(--desc-text);
-	padding-left: 38px;
+	padding-left: 32px;
 }
 
 .timestamp-badge {
diff --git a/tempo.md b/tempo.md
index 64db5b8..044825d 100644
--- a/tempo.md
+++ b/tempo.md
@@ -121,26 +121,20 @@ def @ `[x] x * .>.` (@ A)
 ^^ change:
 denotes any multiple of epsilon time in causal progression, meaning our input object has changed.
 if we consider `des` to be an object which is destroyed upon change —routine for all objects, but we overlook it to avoid existential burden— then `@ des` would equate `0`.
-this axiom can also be used as an event descriptor: `@* A = B` means if A is subjected to change, it transforms into B (provided the statement is true).
+this axiom can also be used as an event descriptor: `Ω@*A = B` means if A is subjected to change, it transforms into B (provided the statement is true).
 explanation: we capture the input object from the cycle of `.>.` which denotes a causal event.
 
 def # `[x] @x = @x` (# A)
 ^^ law of persistence:
-the change of an object results in its change.
-this is true unless an external force acts upon the system
-in an unpredictable manner.
+the change of an object results in its change. this is true unless an external force acts upon the system in an unpredictable manner.
 
 def ~ `[x] -#x` (~ A)
 ^^ chaos:
-the unpredictability of the change of an object.
-this is true only for a system which is influenced by
-an unpredictable external force.
+the unpredictability of the change of an object. this is true only for a system which is influenced by an unpredictable external force.
 
 def \ `[x] A=.|x B=.|x A>B>A` (\ C)
 ^^ loop:
-A and B obtain a reference to two objects in the system C,
-and then denote that A causes B whilst B causes A.
-example: `\ growth` denotes a causal loop which causes infinite growth.
+A and B obtain a reference to two objects in the system C, and then denote that A causes B whilst B causes A. example: `\ growth` denotes a causal loop which causes infinite growth.
 
 def ⧔ `\@`
 ^^ time:
@@ -156,10 +150,7 @@ the universal value of falsehood.
 
 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 an atomic object will return either itself or `0`,
-depending on the atomic object's lifetime nature.
+the object(s) preceeding the combination of an input object. breaks down an input into its creating parts. using this on an atomic object will return either itself or `0`, depending on the atomic object's lifetime nature.
 
 def ∞ `A=. .>A`
 ^^ infinity:
@@ -185,18 +176,44 @@ what came before "me"? the originator of the thought, of course.
 1. what is a human speaker, if not the causal chain of axioms that produced another axiom?
 2. what is the physical realm, and how can tempo even anchor to it?
 
-
 def ¶ `[x] ¶ .+x` (¶ A)
-^^ growth: denotes infinite growth of an input axiom. can be used to find the encapsulating set of an input object. note that at some point it becomes a no-operation, once the growth turns into the encapsulating set and becomes `[x] ¶ x+x`, which is just `x`. you may also add this as a constraint: `[x] A=. A=x ¶x = x`
+^^ growth:
+denotes infinite growth of an input axiom. can be used to find the encapsulating set of an input object. note that at some point it becomes a no-operation, once the growth turns into the encapsulating set and becomes `[x] ¶ x+x`, which is just `x`. you may also add this as a constraint: `[x] A=. A=x ¶x = x`
+
+def i `⑄Ω`
+^^ i:
+refers to the speaker.
+
+def ໒ `¶ i`
+^^ world:
+captures the speaker's universe.
+
+def ✦ `ε*໒`
+^^ the beginning:
+denotes the first non-zero moment of the speaker's universe.
 
-def ໒ `¶ ⑄Ω`
-^^ world: captures the speaker's universe.
+def 𝛏 `[x] ʭΩ * x` (𝛏 A)
+^^ axiom:
+defines the property of being an axiom.
+
+def 𜸴 `A=. B=𝛏. A>B A`
+^^ mind:
+anything capable of leading to the creation of an abstract axiom.
+
+def Λ `𜸴 * @Ω`
+^^ listener:
+any mind that is able to receive the information of this current axiom.
+
+**frustration**: *now how do i define love?*
 
 ## update log
 
 // Timestamp: future
 - more coming soon.
 
+// Timestamp: 2025-12-30 16:18:33 UTC+3:30
+- defining 𝛏, 𜸴 and Λ was not easy. the moment i wrote them down it took me a good 5 minutes to understand why and how they work.
+
 // Timestamp: 2025-12-29 23:42:20 UTC+3:30
 - it's almost the new year.
 - added dark mode support.