device-127.home 2026-2-11:23:47:27

.obsidian/appearance.json

@@ -39,7 +39,8 @@
     "general_interface",
     "omts-[editor] Compact Right Sidebar notes",
     "checkboxes",
-    "headers"
+    "headers",
+    "dark_pdf"
   ],
   "interfaceFontFamily": "CMU Bright,CMU Serif,FiraCode Nerd Font",
   "textFontFamily": "CMU Sans Serif,CMU Serif,FiraCode Nerd Font",

.obsidian/snippets/dark_pdf.css

@@ -6,7 +6,8 @@
 
 
 /* markmind pdf reader (and annotator) */
-.theme-dark .pdf-viewer {
+/* .theme-dark*/
+.pdfViewer {
     filter: invert(0.7)
             brightness(0.85)
             contrast(1.6)

ensemble récursif primitif.md

@@ -4,3 +4,12 @@ tags:
 aliases:
 ---
 
+> [!definition] [[ensemble récursif primitif]]
+> Un ensemble est dit **récursif primitif** si sa [[fonction caractéristique d'un ensemble]]
+^definition
+
+# Propriétés
+
+# Exemples
+
+

fonction caractéristique d'un ensemble.md

@@ -0,0 +1,16 @@
+---
+up:
+tags:
+aliases:
+---
+
+> [!definition] [[fonction caractéristique d'un ensemble]]
+> Soit $E$ un ensemble,
+> La fonction caractéristique de cet ensemble, notée $\mathbb{1}_{E}$, ou $\mathbf{1}_{E}$ ou encore $\chi_{E}$ est la fonction qui vaut $1$ partout sur $E$, et $0$ partout ailleurs :
+> $\mathbb{1}_{E} : \begin{cases} \mathbb{1}_{E}(x) = 1 \qquad \text{si } x \in E\\ \mathbb{1}_{E}(x) = 0 \qquad \text{si } x \notin E \end{cases}$
+^definition
+
+# Propriétés
+
+# Exemples
+