Projets pour freelances & agences web

Retrouvez l'actualité des projets pour freelances et agences web.

Importer la police utilisée dans latex dans word

Posté le 28/08/2020 à 04:30 - Budget : 0 - 500

Bonjour,
Afin d'écrire des mathématiques de façon professionnelle et belle sur Word, j'aimerais importer la police utilisée dans Latex (formes des lettres et forme des caractères mathématiques comme les inégalités).
Concrètement, j'aimerais avoir la même police pour écrire des mathématiques que dans les formules de la première image de cette page : [Url visible pour les membres Pro]
Concernant les symboles, certains ont des formes très différentes sur Word et sur Latex : par exemple le symbole inférieur ou égal (leqslant sur Latex).
Sur Word : [Url visible pour les membres Pro]
Sur Latex : [Url visible pour les membres Pro]
Vous voyez que les deux traits sont plus espacés sur Latex (le signe que je veux) mais il est impossible de l'avoir en cette forme sur Word.
Cela est pareil pour d'autres signes absents ou avec des formes qui ne me conviennent pas. J'aimerais alors pouvoir les utiliser sur Word.
Je précise que je ne veux pas d'images pour conserver la qualité.
Cordialement.
Comme le projet est la recherche de la bonne police adaptée, je propose entre 20 et 30 euros de réalisation.

Accéder à la fiche du projet

Autres projets susceptibles de vous intéresser

Vous avez un projet ?

Contactez-nour pour nous le présenter

Autres articles

La différence entre JavaScript, HTML et CSS

le Mardi 28 juin 2022

Qu’est-ce qu’un JavaScript ?

Qu’est-ce qu’un JavaScript ?

le Vendredi 24 juin 2022

Site e-commerce pour NFT & marketplace de NFT

Site e-commerce pour NFT & marketplace de NFT

le Mardi 21 juin 2022

Les différents types de données dans SQL

Les différents types de données dans SQL

le Jeudi 16 juin 2022

Différence entre MySQL et PostgreSQL

Différence entre MySQL et PostgreSQL

le Mardi 14 juin 2022

Les différents types d’agence web

Les différents types d’agence web

le Jeudi 9 juin 2022

Qu’est-ce qu’une agence web ?

Qu’est-ce qu’une agence web ?

le Mardi 7 juin 2022

Pourquoi choisir l'agence Websource ?

Pourquoi choisir l'agence Websource ?

le Jeudi 26 mai 2022

C’est quoi un Community Manager ?

le Jeudi 19 mai 2022