latexový symbol pro “ právě když ” [duplicate]

Tato otázka již má odpovědi zde :

Komentáře

  • Není ' to \iff?
  • Vítejte na TeX.SX! Obvykle nedáváme ' do našich stránek pozdrav ani „děkuji“ příspěvky. I když se to na první pohled může zdát divné, nejedná se o známku zdvořilosti, ale spíše o součást našeho snažení udržet vše velmi stručně. Přijímání a hlasování odpovědí je zde upřednostňovaný způsob , jak říci „děkuji“ uživatelům, kteří vám pomohli.
  • @LudovicC., ne \ iff je symbol se dvěma řádky. Symbol jsem označil jedním řádkem .. !!
  • @LudovicC. existuje také verze bez dvojité šipky think. Mohlo by se to zdát nadbytečné, ale pro lidi pracující na matematické logice je důležité rozlišovat, které z nich jsou součástí formálního jazyka, který se vyvíjí, a které z nich jsou součástí metajazyka, což dokazuje příslušnou logiku.

Odpověď

LaTeX definuje \to jako \rightarrow:

\let\to\rightarrow % fontmath.ltx 

Druhý směr je \gets:

\let\gets\leftarrow 

Pro \leftrightarrow můžete definovat vlastní příkaz, např. \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} 

Výsledek

Poznámky:

  • \iff přidává další prostor navíc (z fontmath.ltx):

    \DeclareRobustCommand\iff{\;\Longleftrightarrow\;} 
  • Příklad také ukazuje některé další varianty šipek.

Komentáře

  • děkuji .. ale používám \ biconditional a mám " nedefinovanou řídicí sekvenci "
  • @Soviet: Pak vám chyběl řádek \let\biconditional\leftrightarrow.
  • pokud použiji \ leftrightarrow, je to v pořádku ..

Odpověď

Můžete použít \Leftrightarrow nebo \Longleftrightarrow

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

zde zadejte popis obrázku

Možná chcete také přidat do záložek: https://oeis.org/wiki/List_of_LaTeX_mathematical_symbols

Komentáře

  • Odkaz, na který za předpokladu, že je nyní mrtvý. Pokud máte nějaký jiný zdroj odkazu, aktualizujte prosím svou odpověď.

Odpověď

Dvojitý řádek:

  • \iff (= \Leftrightarrow) nebo
  • \longLeftrightarrow nebo
  • \xLeftrightarrow (rozšiřitelné, načtěte balíček mathtools)

Jeden řádek:

  • \leftrightarrow nebo
  • \longleftrightarrow nebo
  • \xleftrightarrow (rozšiřitelné, načtěte balíček mathtools)

Napsat komentář

Vaše e-mailová adresa nebude zveřejněna. Vyžadované informace jsou označeny *