vault backup: 2023-09-05 22:22:12

2023-09-05 22:22:12 +02:00
parent d2de16708f
commit f194e6ac4b
2 changed files with 6 additions and 6 deletions
--- a/Algo/Séminaire/Chapter
+++ b/Algo/Séminaire/Chapter
@ -148,4 +148,4 @@ _: char = "b"
 |:-----|:-----|:-----|
 |not|$\neg$|negation|
 |&&|$\land$|and|
-|// (barre oblique)|$\lor$|or (inclusive)|
+|// (vertical bar)|$\lor$|or (inclusive)|