Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Python <python@invalid.org>
Newsgroups: fr.sci.maths
Subject: =?UTF-8?Q?Re=3A_Caract=C3=A8res_=C3=A0_copicoller?=
Date: Mon, 23 Sep 2024 14:12:51 +0200
Organization: CCCP
Lines: 47
Message-ID: <vcrm03$2msfq$3@dont-email.me>
References: <vcmsi1$mka$1@cabale.usenet-fr.net>
 <66f14104$0$3588$426a74cc@news.free.fr> <vcrfq0$2l1bn$5@dont-email.me>
 <66f150c7$0$3679$426a74cc@news.free.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 23 Sep 2024 14:12:51 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="4adc49df36e8bb8a85d24be92e1d067d";
	logging-data="2847226"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+YmL6KsZOpoxmg/dxL1UyS"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:lEdgZiQ8b2Z9iOE6pfB2ZYF2naU=
In-Reply-To: <66f150c7$0$3679$426a74cc@news.free.fr>
Content-Language: en-US
Bytes: 2754

Le 23/09/2024 à 13:28, ast a écrit :
> 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
> 

Bien sûr c'est équivalent. Ça dépend sur quoi on veut insister.