simbolo di lattice per “ se e solo se ” [duplicate]

Questa domanda ha già una risposta qui :

Commenti

  • Non è ' è \iff?
  • Benvenuto in TeX.SX! Di solito, ' non mettiamo un saluto o un “grazie” nel nostro post. Anche se allinizio potrebbe sembrare strano, non è un segno di mancanza di cortesia, ma piuttosto parte del nostro tentativo di mantenere tutto molto conciso. Accettare e votare per favore è il modo preferito qui per dire “grazie” agli utenti che ti hanno aiutato.
  • @LudovicC., no \ iff è il simbolo con due linee. Ho bisogno del simbolo con una riga .. !!
  • @LudovicC. esiste anche una versione senza la doppia freccia think. Potrebbe sembrare ridondante, ma per le persone che lavorano sulla logica matematica è importante distinguere quali fanno parte del linguaggio formale in fase di sviluppo e quali fanno parte del meta-linguaggio che dimostra la logica in fase di sviluppo in questione.

Risposta

LaTeX definisce \to come \rightarrow:

\let\to\rightarrow % fontmath.ltx 

Laltra direzione è \gets:

\let\gets\leftarrow 

Per \leftrightarrow puoi definire il tuo comando, ad es. \biconditional:

\documentclass{article} \let\biconditional\leftrightarrow \begin{document} \[ A \to B \biconditional C \gets D \] \[ A \rightarrow B \leftrightarrow C \leftarrow D \] \[ A \longrightarrow B \longleftrightarrow C \longleftarrow D \] \[ A \Rightarrow B \Leftrightarrow C \Leftarrow D \] \[ A \Longrightarrow B \Longleftrightarrow C \Longleftarrow D \] \[ B \iff C \] \end{document} 

Risultato

Osservazioni:

  • \iff aggiunge un po di spazio extra (da fontmath.ltx):

    \DeclareRobustCommand\iff{\;\Longleftrightarrow\;} 
  • Lesempio mostra anche alcune altre varianti di freccia.

Commenti

  • grazie .. ma uso \ biconditional e ho " Sequenza di controllo non definita "
  • @Soviet: Allora hai perso la riga \let\biconditional\leftrightarrow.
  • se uso \ leftrightarrow va bene ..

Risposta

Puoi utilizzare \Leftrightarrow o \Longleftrightarrow

\documentclass{article} \begin{document} $ \Leftrightarrow \Longleftrightarrow $ \end{document} 

inserisci qui la descrizione dellimmagine

Potresti vuoi anche aggiungere questo segnalibro: https://oeis.org/wiki/List_of_LaTeX_mathematical_symbols

Commenti

  • Il link fornito è ora morto. Se disponi di altre risorse del collegamento, aggiorna la tua risposta.

Risposta

Doppia riga:

  • \iff (= \Leftrightarrow) o
  • \longLeftrightarrow o
  • \xLeftrightarrow (estensibile, carica il mathtools pacchetto)

Riga singola:

  • \leftrightarrow o
  • \longleftrightarrow o
  • \xleftrightarrow (estensibile, carica il mathtools pacchetto)

Lascia un commento

Il tuo indirizzo email non sarà pubblicato. I campi obbligatori sono contrassegnati *