Re: Caractères à copicoller

Le 23/09/2024 à 12:27, Python a écrit :

Le 23/09/2024 à 12:20, ast a écrit :

Le 21/09/2024 à 18:34, Olivier Miakinen a écrit :

Bonjour,
>
Quand on écrit des formules mathématiques sur fr.sci.maths, on a parfois
besoin de caractères qui ne sont pas directement accessibles sur notre
clavier. Par exemple il y a un mois j'ai eu besoin d'utiliser la notation
⌊x⌋ pour la partie entière inférieure de x, mais je peux avoir besoin de
parler des ensembles ℝ⁺ et ℝ∗, des intervalles d'entiers ⟦0, 9⟧, ou du
nombre τ qui vaut 2π.
>
Pour me faciliter la tâche, je viens de créer la page suivante, que tout
le monde peut utiliser : <http://www.miakinen.net/vrac/copicol/>.
>
Les caractères à copicoller sont écrits dans une police à espacement fixe
car c'est ce qu'il est recommandé d'utiliser dans ce groupe de discussions.
Ainsi, les caractères ∫ ∬ ∭ font tous la même largeur quand ils existent
dans votre police de caractères « monospace ».
>
Cordialement,

>
>
Merci pour cette page, je l'ai mise dans mes favoris.
>
C'est un peu hors sujet, mais connaissez-vous un théorème qui
utilise le caractère ∄ ?

 ∄ n \in N tel que \forall p \in N, p premier => p < n
 

ok, mais je pense qu'on s'arrange toujours pour ne pas utiliser ∄
∀n∈ℕ ∃p∈ℕ p premier et p > n