From 004ec22e732c7a6f5f938fb4a83db4f68cbca28f Mon Sep 17 00:00:00 2001
From: oskar <oscar.plaisant@icloud.com>
Date: Sun, 22 Mar 2026 23:40:02 +0100
Subject: [PATCH] MacBook-Pro-de-Oscar.local 2026-3-22:23:40:2

---
 .obsidian/plugins/obsidian-latex-suite/data.json | 12 ++++++++++++
 fonction d'ackermann de cori et lascar.md        | 10 +++++++++-
 2 files changed, 21 insertions(+), 1 deletion(-)

diff --git a/.obsidian/plugins/obsidian-latex-suite/data.json b/.obsidian/plugins/obsidian-latex-suite/data.json
index 90769812..900e2230 100644
--- a/.obsidian/plugins/obsidian-latex-suite/data.json
+++ b/.obsidian/plugins/obsidian-latex-suite/data.json
@@ -3,7 +3,10 @@
   "snippetVariables": "{\n\t\"${GREEK}\": \"alpha|beta|gamma|Gamma|delta|Delta|epsilon|varepsilon|zeta|eta|theta|vartheta|Theta|iota|kappa|lambda|Lambda|mu|nu|xi|omicron|pi|rho|varrho|sigma|Sigma|tau|upsilon|Upsilon|phi|varphi|Phi|chi|psi|omega|Omega\",\n\t\"${SYMBOL}\": \"parallel|perp|partial|nabla|hbar|ell|infty|oplus|ominus|otimes|oslash|square|star|dagger|vee|wedge|subseteq|subset|supseteq|supset|emptyset|exists|nexists|forall|implies|impliedby|iff|setminus|neg|lor|land|bigcup|bigcap|cdot|times|simeq|approx\",\n\t\"${MORE_SYMBOLS}\": \"leq|geq|neq|gg|ll|equiv|sim|propto|rightarrow|leftarrow|Rightarrow|Leftarrow|leftrightarrow|to|mapsto|cap|cup|in|sum|prod|exp|ln|log|det|dots|vdots|ddots|pm|mp|int|iint|iiint|oint\"\n}\n",
   "snippetsEnabled": true,
   "snippetsTrigger": "Tab",
+  "snippetNextTabstopTrigger": "Right",
+  "snippetPreviousTabstopTrigger": "Shift-Tab",
   "suppressSnippetTriggerOnIME": true,
+  "suppressIMEWarning": false,
   "removeSnippetWhitespace": true,
   "autoDelete$": true,
   "loadSnippetsFromFile": false,
@@ -16,17 +19,26 @@
   "highlightCursorBracketsEnabled": true,
   "mathPreviewEnabled": true,
   "mathPreviewPositionIsAbove": true,
+  "mathPreviewCursor": "▶",
+  "mathPreviewBracketHighlighting": false,
   "autofractionEnabled": true,
   "autofractionSymbol": "\\frac",
   "autofractionBreakingChars": "=",
   "matrixShortcutsEnabled": true,
   "taboutEnabled": false,
+  "taboutTrigger": "Tab",
   "autoEnlargeBrackets": true,
   "wordDelimiters": "., -\\n:;!?\\/{}[]()=~",
   "autofractionExcludedEnvs": "[\n        [\"\\\\pu{\", \"}\"]\n]",
   "matrixShortcutsEnvNames": "pmatrix, cases, bmatrix, Bmatrix, vmatrix, Vmatrix, array, matrix",
+  "taboutClosingSymbols": "), ], \\rbrack, \\}, \\rbrace, \\rangle, \\rvert, \\rVert, \\rfloor, \\rceil, \\urcorner, }",
   "autoEnlargeBracketsTriggers": "sum, int, frac, dfrac, prod, big, Big, bigg, Bigg",
   "forceMathLanguages": "math",
+  "snippetDebug": "off",
+  "vimEnabled": false,
+  "vimSelectMode": "<C-g>",
+  "vimVisualMode": "<C-g>",
+  "vimMatrixEnter": "o",
   "inlineMathPreviewEnabled": true,
   "autofractionSpaceAfterGreekLetters": false
 }
\ No newline at end of file
diff --git a/fonction d'ackermann de cori et lascar.md b/fonction d'ackermann de cori et lascar.md
index ee9a37bb..2bdd0ec1 100644
--- a/fonction d'ackermann de cori et lascar.md	
+++ b/fonction d'ackermann de cori et lascar.md	
@@ -164,7 +164,15 @@ aliases:
 > Soient $f_1, f_2, \dots, f_{m} \in \mathscr{ F_{p}} \cap C_{n}$ des fonctions à $p$ variables de $C_{n}$
 > Soit $g$ une fonction à $m$ variables de $C_{n}$
 > $g(f_1, f_2, \dots, f_{m})$ est aussi dans $C_{n}$
-> 
+> > [!démonstration]- Démonstration
+> > Comme $f_1, f_2, \dots, f_{m}$ et $g$ sont dans $C_{n}$, on sait qu'il y à des entiers $k_1, k_2, \dots, k_{m}, k$ et $A_1, A_2, \dots, A_{m}, A$ tels que :
+> > $\forall 1 \leq i \leq m,\quad \forall \overline{x},\quad f_{i}(\overline{x}) \leq \xi _{n}^{k_{i}}(\sup\limits(\overline{x}, A_{i}))$
+> > et $\forall \overline{x},\quad g(\overline{x}) g= \xi _{n}^{k}(\sup\limits(\overline{x}, A))$
+> > Posons $B = \sup\limits(A_1, A_2, \dots, A_{m}, A)$ et $h = \sup\limits(k_1, k_2, \dots, k_{m})$
+> > Il est alors évident que :
+> > $\forall 1 \leq i \leq m,\quad \forall \overline{x}, f_{i}(\overline{x}) \leq \xi _{n}^{h}(\sup\limits(\overline{x}, B))$
+
+$\frac{1}{}$
 
 # Exemples