"Rendre beau" !

Bonsoir,

Je suis en train de taper sous LaTeX et je trouve que ça :

$$n_5 \equiv 1 [5]$ et $n_5 | 6$$

c'est pas très "beau" !
On doit pouvoir faire mieux, n'est-ce pas !??

Un peu d'aide, please !
Clairon.
«13456711

Réponses

  • SI tu disais ce que tu ne trouves pas beau, ca aiderait, m'enfin...

    Comme d'hab, un oeil au short math guide : http://tex.loria.fr/general/downes-short-math-guide.pdf

    section 7.1 pour les modulos, exemple :

    $$ a=b \pod c$$

    sinon tu peux rajouter des espaces, mais a utiliser avec parcimonie !

    $$a \ \vert \ b$$
  • Accessoirement, je te rapelle que dans une preuve il est generalement plus élégant et plus clair d'écrire en toute lettre "$a$ divise $b$" que d'utiliser des symboles. Un texte mathématique reste un texte et on ne doit pas abuser des symboles !
  • Bonsoir Clairon

    Il y a $a = b \pmod {c}$ pour le modulo \verb+$a = b \pmod {c}$+ (pmod pour parenthesed modulus)
    et le classique $a \mid b$ qui gère les espaces devant et derrière la barre verticale \verb+$a \mid b$+

    Alain
  • Merci c'est parfait !

    Un autre petit conseil : comment tape-t-on un morphisme du type :

    $ \Psi : \mathfrak A_6 \longrightarrow \mathcal Perm ((\mathfrak A_6 / H)_{gauche}) \simeq \mathfrak S_6$
    $\sigma \longrightarrow \{ \tau H \rightarrow \sigma \tau H \}$

    pour que ce soit bien aligné ... !!

    Merci encore,
    Clairon.
  • Comme ça?

    \begin{align*}
    f: X & \longrightarrow Y \\
    x & \longmapsto f(x)
    \end{align*}
  • Hum, meme remarque, je trouve que tu mets trop d'informations sur une seule formule... Tu devrais developper ca un peu textuellement..

    Pour repondre quand meme, le plus simple est d'utiliser un tableau, ainsi que la fleche "mapsto" sur la 2e ligne.

    $$
    \begin{array}{rcl}
    f: A & \longrightarrow & B \\
    x & \longmapsto & x^2
    \end{array}
    $$
  • Salut,

    \psi~:\begin{array}{ccc}

    A_6 & \longrightarrow & blabla \\

    x & \longmapsto & \psi(x) \end{array} ?
  • Grillé ! Pourtant j'ai actualisé avant de poster...
  • Bonsoir Clairon

    Avec l'array comme indiqué par Jobherzt et Gre, sur ton exemple, cela donne :
    $$\begin{array}{rcl}
    \mathfrak A_6 &\xrightarrow{\ \Psi\ } & \mathcal Perm \big((\mathfrak A_6 / H)_{gauche}\big) \simeq \mathfrak S_6 \\
    \sigma & \longmapsto & ( \tau H \mapsto \sigma \tau H )
    \end{array}$$
    Alain
  • Qu'est-ce qui est préférable, l'array ou l'align*?
  • Je dirais array, car c'est fait pour faire des tableaux : tu peux mettre autant de colonnes que tu veux, tu peux choisir si tu les alignes à droite, centrées, ou à gauche, etc. alors qu'align* est juste fait pour aligner des équations, du type :
    \begin{align*}
    a & = b \\
    & = c \\
    & = d
    \end{align*}
    Je ne pense pas que ce soit l'environnement le plus adapté dans ton cas.
  • Bonjour,

    Skilveg, ça dépend des goûts. L'inconvénient du align* c'est que tu auras peut-être du mal à écrire ta formule si elle ne consiste pas uniquement en une fonction. Et puis on ne peut pas mettre d'accolade. Par exemple, bonne chance pour écrire
    \[ f:\left\{\begin{array}{rcl}X&\to&Y\\x&\mapsto&f(x)\end{array}\right.~\text{est un morphisme}~\Longleftrightarrow~\text{blabla}\]
    avec un align*...
  • Merci à Tous pour ces belles commandes, je vais les tester tout de suite !!
    Peut-être à bientôt pour d'autres "petites" questions à ce sujet !!

    Clairon.
  • Quel beau choix de titre! Un vrai sujet de philo ;) à ev
    Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi
  • Oui, un vrai sujet de philo !
    Maintenant, je ne cherche pas "à faire beau" mais "à faire" : comment affiche-t-on une inclusion barrée ?
    Voici une inclusion $\subset$, mais avec une barre oblique dessus ??

    Merci !!
  • D'une maniere generale, il suffit de rajouter la commande "not" devant : $\not\subset$
  • $\not\subset$ ?

    e.v.
    Personne n'a raison contre un enfant qui pleure.


  • Clairon nous prépare un joli cours sur les groupes finis je crois, prière de faire tourner une fois fini :D
  • Clairon, le document qui suit pourrait t'être utile à l'occasion:

    [url=]http://amath.colorado.edu/documentation/LaTeX/Symbols.pdf[/url]

    Et un (beaucoup) plus complet:

    [url=]http://www.ctan.org/tex-archive/info/symbols/comprehensive/symbols-a4.pdf[/url]

    Bonne continuation!

    [Pour les admins du forum: j'ai l'impression qu'il y a un petit bug avec l'insertion de liens, ça fait [ url="l'url"][/url] et donc un problème de syntaxe...]
  • Ca, c'est encore pas très beau !! Le 2ème signe égal n'est pas en face des autres ...
    \begin{align*}
    v(x) & = v( \sum P_i(u).x_i ) \\
    & \overset{v \in \mathcal C(u)}{=} \sum P_i(u).\underbrace{v(x_i)}_{0} \\
    & =0
    \end{align*}
    Pouvez-vous m'aider à remettre ça d'aplomb ?
    Merci.
    Clairon.
  • \begin{array} {ccl}
    v(x) & = & v \left( \sum P_i(u).x_i \right) \\
    & \overset{v \in \mathcal C(u)}{=} & \sum P_i(u).\underbrace{v(x_i)}_{0} \\
    & = & 0 \\
    \end{array}
  • Sympa Toto.
    Mon pdf est parti trop tôt (cf le fil sur le centralisateur d'un endo initié par GreginGre)...
    Dans pas longtemps, tu auras le droit à un pdf sur A_5 et le seul groupe simple d'ordre 60 (non, je n'écris pas un cours de théorie des groupes, j'en suis bien incapable. Je me fais juste un peu plaisir en tapant quelques développements !).
  • Ah cool, n'hésite pas à poster aussi les suivants sur le forum :)
  • Si j'en tape d'autres, je te les fais partager sur le forum, c'est promis.
    Là, j'ai tapé ce truc pour GreginGre qui posait une question sur le commutant d'un endo et cela me rappelait un de mes développements (sur le bicommutant !).
    Toto, je viens de joindre le "nouveau" pdf, modifié grâce à toi (toujours sur le fil : centralisateur d'un endo).
  • Un truc qui expliquerait avec la théorie des groupes, pourquoi des civilisations ont utilisé la base 60? avec le format A5 comme les doigts d'une main?

    Non, quand-même pas, si?

    S
  • Bonjour à Tous !

    Pouvez-vous encore me dépanner ?
    Il me faudrait une LONGUE flèche de surjection pour :

    $\begin{array}{rcl}
    \mathfrak S_n & \twoheadrightarrow & Int(\mathfrak S_n)\\
    \sigma & \longrightarrow & \{ \tau \rightarrow \sigma \tau \sigma^{-1} \}
    \end{array}$

    Merci.
    Clairon.
  • Il me semble que ça n'existe pas d'origine. On peut en définir une en faisant

    \verb+\newcommand{\longtwoheadrightarrow}{\longrightarrow\hspace{-1.2em}\rightarrow\hspace{.2em}}}+

    qui donne (il me semble) la même longueur que \verb+\longrightarrow+, qui doit d'ailleurs être construite de la même façon. Exemple (avec align* ;) ):

    \begin{align*}\newcommand{\longtwoheadrightarrow}{\longrightarrow\hspace{-1.2em}\rightarrow\hspace{.2em}}
    \mathfrak{S}_n & \longtwoheadrightarrow \mathrm{Int}(\mathfrak{S}_n) \\
    \sigma & \longmapsto (\tau\mapsto \sigma\tau\sigma^{-1})
    \end{align*}
  • Merci Skilveg, c'est parfait ! :)
  • La flèche de Cupidon sur le front de ton application
    marque un étang et un arrêt
    Le centre ne sera pas percé pour autant.

    S (qui avec sa combinaison bleue a gagné au lotomorphisme) :)
    (sourire)
  • J'ai encore besoin de vos conseils.
    Cette commande n'est pas extraordinaire " \verb=p \not \vert \ m= ", pour $p \not \vert \ m$.
    Il y a surement mieux !!

    [La case LaTeX. :) AD]
  • Bonsoir Clairon

    Il y a bien " \verb= p \nmid m= ", qui donne $ p \nmid m$, mais c'est à peine plus joli.

    Alain
  • j'ai un truc bidouillé à partir de la gestion des espaces négatifs :

    $p {\ \mid\!\!\!\not\ \ } m$
  • Bonsoir !

    J'ai à nouveau besoin de vos avis.
    Y a-t-il une commande spécifique pour $\pi_{u|F}(u)$.
    Je trouve ça pas mal, mais peut-être que le $F$ pourrait être "plus bas" !

    Qu'en dites-vous ?
  • $\pi_{u_{|_F}}(u)$?
  • Merci Ritchie, je n'y avais pas pensé !
    C'est mieux, je trouve !!
  • Pouvez-vous m'aider (encore !!) à avoir une belle matrice (des fractions qui ne se marchent pas dessus !!) :
    $A^n=
    \begin{pmatrix}
    \dfrac{3^n}{2}+1 & \dfrac{3^n}{2}-1\\
    \dfrac{3^n}{2}-1 & \dfrac{3^n}{2}+1
    \end{pmatrix}$.

    Merci
  • Bonsoir Clairon

    En bidouillant, peut-être ?

    $A^n=
    \left(
    \begin{array}{cc}
    \dfrac{3^n}{2}+1 & \dfrac{3^n}{2}-1\\
    ~&~\\
    \dfrac{3^n}{2}-1 & \dfrac{3^n}{2}+1
    \end{array}
    \right)
    $.

    Du coup c'est le code qui est moche.

    e.v.
    Personne n'a raison contre un enfant qui pleure.


  • Merci ev !
    Tu verras cette belle matrice dans la prochaine version du pdf des réponses aux questions de D&L !!
  • Bonsoir Clairon et EV

    Avec un code peut-être un peu moins moche ?
    $$A^n=
    \begin{pmatrix}
    \dfrac{3^n}{2}+1 & \dfrac{3^n}{2}-1\\
    \\
    \dfrac{3^n}{2}-1 & \dfrac{3^n}{2}+1
    \end{pmatrix}$$
    Alain
  • On peut aussi faire ceci :
    $$A^n=
    \begin{pmatrix}
    \dfrac{3^n}{2}+1 & \dfrac{3^n}{2}-1\\
    \dfrac{3^n\strut}{2}-1 & \dfrac{3^n}{2}+1
    \end{pmatrix}
    $$

    ou

    $$A^n=
    \begin{pmatrix}
    \dfrac{3^n}{2}+1 & \dfrac{3^n}{2}-1\\
    \dfrac{3^{n\strut}}{2}-1 & \dfrac{3^n}{2}+1
    \end{pmatrix}
    $$

    ou

    $$A^n=
    \begin{pmatrix}
    \dfrac{3^n}{2}+1 & \dfrac{3^n}{2}-1\\
    \dfrac{3^n\vphantom{3^{n\strut}}}{2}-1 & \dfrac{3^n}{2}+1
    \end{pmatrix}
    $$
  • Merci à Tous pour ces jolis codes !!
  • Bonsoir,

    J'aimerais pouvoir écrire au dessus de la flèche d'équivalence :

    $$r \mid \frac{p-1}2 \Longleftrightarrow (-1)^{ \frac{p-1}r } = 1$$

    la chose suivante : $2 \mid \frac{p-1}r$.

    J'ai essayé la commande "overset" mais cela ne marche pas (sûrement car ce que je veux écrire au dessus "dépasse" ?).
    Pouvez-vous m'aider, s'il vous plaît ?

    Clairon
  • Bonjour,

    Qu'est-ce que dfrac et strut ?

    Cordialement
  • Salut Clairon, c'est moche mais peut-être qu'en bidouillant un peu...

    $$r \mid \frac{p-1}2 \stackrel{2 \mid \frac{p-1}r}{\Longleftrightarrow} = 1 $$
  • Merci Knight, c'est mieux que rien !!
  • $
    r \mid \dfrac{{p - 1}}{2} \quad \mathop {\Longleftrightarrow} \limits^{ 2 \mid {\textstyle{{p - 1} \over r}}}\quad ( - 1)^{{\textstyle{{p - 1} \over r}}} = 1
    $?
  • On atteint la perfection !!
    Merci Ritchie ;)
    Clairon.
  • La perfection, c'est vite dit. Je n'aime pas trop les barres de divisibilité, et j'aimerais que la flèche d'équivalence soit plus longue (vraiment extensible). J'avais vu ça quelquepart, mais je ne remets pas la main dessus.

    Ritchie
  • Bonjour,

    Il me semble que le paquet extarrows fait ce genre de choses, avec \verb+\xLeftrightarrow+.
  • @Skilveg : apparemment, cela ne marche pas ton code !?
    @Ritchie : tout à fait d'accord avec toi, avec des flêches d'équivalence plus longues, ce serait (cette fois-ci) parfait !!
Connectez-vous ou Inscrivez-vous pour répondre.

Bonjour!

Pour participer au forum, cliquer sur l'un des boutons :