Finally, an update

2 files changed, 3 insertions, 3 deletions

diff --git a/src/org/index.org b/src/org/index.org
index 305f519..7d1b35f 100755
--- a/src/org/index.org
+++ b/src/org/index.org
@@ -20,7 +20,7 @@ I'm over the moon that you're here, adding even more sweetness to this corner! ð
 * Articles ( NEW !!!! )
 - *[[./articles/discord.html][Discord : an internet cancer]]* /Sun Sep 10 15:25:22 2023/
 * root@localhost $ whoami
-My name is *Crystal*, I'm a <insert time since 09/12/2005> years old transfem from Algeria. Well I'm also pansexual, anarcho-communist and absurdist! I speak 4 languages (Kabyle/Tamazight Arabic French & English) if this info is of any use for you !!
+I'm *Crystal*, your 18 y/o Algerian anarchist transfem, who's also a geek for some reason...and surprisingly still alive!!!
 
 My current setup is :
 - Primary OS: *OpenBSD -current*
diff --git a/src/org/uni_notes/algebra1.org b/src/org/uni_notes/algebra1.org
index 4afc389..1126423 100755
--- a/src/org/uni_notes/algebra1.org
+++ b/src/org/uni_notes/algebra1.org
@@ -150,7 +150,7 @@ not(*P âˆĻ Q*) ⇔ PĖ… ∧ QĖ…
 *A rule I really like to use here is: Break and Invert. Basically you break the bar into the three characters of the propositions, so you get not(P) not(∧ or âˆĻ) /NOT AN ACTUAL MATH WRITING. DONT USE IT ANYWHERE ELSE OTHER THAN YOUR BRAIN/ and not(Q)*
 
 *** *Transitivity*:
-[(P ⇒ Q) (Q ⇒ R)] ⇔ P ⇒ R
+[(P ⇒ Q) AND (Q ⇒ R)] ⇔ P ⇒ R
 
 *** *Contraposition*:
 (P ⇒ Q) ⇔ (QĖ… ⇒ PĖ…)
@@ -162,7 +162,7 @@ not(*P âˆĻ Q*) ⇔ PĖ… ∧ QĖ…
 
 and
 
-(QĖ… ⇒ Q) is true
+(PĖ… ⇒ Q) is true
 
 then