Re: Caractères à copicoller

Le 22/09/2024 11:11, robby a écrit :

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

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/>.

 
cool, ça reste relou de copier-coller caractere par caractere.

Oui. J'ai pour objectif d'améliorer la page avec du JavaScript, par exemple
pour écrire « ∀x∈ℝ » il suffirait de cliquer sur ∀, puis taper sur la touche
x de son clavier, puis cliquer sur ∈ puis sur ℝ, et enfin sélectionner le
texte (voire cliquer sur un bouton pour le copier dans le presse-paiers).

Mais pour ça j'ai besoin de compétences en JavaScript que je n'ai pas encore.
J'ai posé la question sur trois groupes dont fr.comp.lang.javascript.

il n'existe pas de site utilitaire latex to utf8  ?

Coupage de cheveux en quatre : LaTeX to Unicode suffirait, parce que tu
n'as pas besoin de savoir comment c'est codé en interne, UTF-8 ou UTF-16LE
ou UTF-16BE par exemple.

Cela étant dit, ça te sera peut-être utile si tu connais par cœur tous les
codes LaTeX correspondant aux divers caractères que tu cherches, et si tu
sais les saisir assez vite. Mais je doute que ce soit d'un intérêt universel.
Moi en tout cas ça ne me servirait à rien, malheureusement je n'ai jamais
appris à parler LaTeX.


--
Olivier Miakinen