Die Mathe-Redaktion [Home] - Neues auf einen Blick 04.10.2023 12:27 [Neues] [Forum] [Suche] - Registrieren/Login
 
Matroids Matheplanet Forum Index
Moderiert von matroid Gockel
Matheplanet » Bug- und Request-Tracker » Latex-Text korrekt, trotzdem falsche Vorschau Nr1 !
Autor
Universität/Hochschule Latex-Text korrekt, trotzdem falsche Vorschau Nr1 !
carlox
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 22.02.2007
Mitteilungen: 1583
  Themenstart: 2019-02-07

Hallo allerseits, wenn ich die zwei folgenden Latexblöcke jeweils einzeln in der Vorschau anschaue, werden die zugehörigen Formeln völlig korrekt dargestellt. Wenn ich sie allerdings zusammenfüge und als einen Block in die Vorschau gebe, werden die Formeln nicht mehr korrekt dargestellt. Was mache ich falsch ? PS: Leider wird mir nicht erlaubt (Fehlermeldung) alle 2 Blöcke als ein Posting hier einzufügen. Leider kann ich sie auch nicht auf 2 Postings verteilen. Trotz mehrfachen Drückens des Submit-Buttons. Es kommt die folgende Fehlermeldung: ---------------------------------- Bitte denke daran, dass sich Fragen nach Fehlerursachen oft nur dann beantworten lassen, wenn du den Helfern auch wirklich alle notwendigen Informationen zur Verfügung stellst. Das geht am besten, indem du ein lauffähiges Minimalbeispiel für dein Problem in deinem Post angibst. Wie das geht, hat huepfer schon einmal in diesem Artikel ausführlich dargelegt. Wenn Du das Minimalbeispiel schon gegeben hast oder keins geben kannst, dann klicke jetzt noch einmal auf Submit ------------------------------------------------------------ Wie kann icheuch die 2 Blöcke übermittel, Die 2 Blöcke erzeugen zusammen 2 Seiten. mfg cx

   Profil
viertel
Senior Letzter Besuch: im letzten Quartal
Dabei seit: 04.03.2003
Mitteilungen: 27787
Wohnort: Hessen
  Beitrag No.1, eingetragen 2019-02-07

Hi carlox Was hast du denn versucht? Den Sourcecode zu posten, indem du ihn in \​sourceon latex a^2+b^2=c^2 \​sourceoff einschließt? Oder soll er umgewandelt werden: $$a^2+b^2=c^2$$ Gruß vom ¼

   Profil
carlox
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 22.02.2007
Mitteilungen: 1583
  Beitrag No.2, vom Themenstarter, eingetragen 2019-02-07

\quoteon(2019-02-07 09:43 - viertel in Beitrag No. 1) Hi carlox Was hast du denn versucht? Den Sourcecode zu posten, indem du ihn in \​sourceon latex a^2+b^2=c^2 \​sourceoff einschließt? Oder soll er umgewandelt werden: $$a^2+b^2=c^2$$ Gruß vom ¼ \quoteoff Wunderbar: Jetzt hat es hat geklappt. Hier die 2 Blöcke: \underline{Definitionen} \\ \text{N := \{0,1,2,3,...\} } \text{ bezeichnet die intuitiven, natürlichen Zahlen.} \\ \mathfrak{S} = \text{(N,0,1,+,*)} \text{ bezeichnet das Standardmodell von PA.} \\ \text{Für alle z} \in N \text{ wird definiert: } \bar z = \bar 1 \; \oplus ... \oplus \; \bar 1 \qquad \text{z - Mal} \\ \text{Für alle Modelle } \mathfrak{M} \text{ von PA und alle z } \in N \text{ wird definiert } \bar z^M = \bar 1^M \; \oplus^M ... \oplus^M \; \bar 1^M \quad \text{z - Mal} \\ \phantom{Dieser Text erscheint nicht, belegt aber eine Zeile} \\ \underline{Lemma 1} \\ \text{Für alle z} \in N \text{ gilt:} \quad PA \vdash \forall x \forall y \; \bar z = x \oplus y \quad .\rightarrow. \quad \bigvee\limits_{i=0}^z x=\bar i \land y=\overline{z-i} \\ \text{Daraus folgt:} \\ \phantom{Dieser Text erscheint nicht, belegt aber eine Zeile} \\ \underline{Lemma 1'} \\ \text{Wenn } \mathfrak{M} \text{ ein Modell von PA } \text{und z} \in N \text{ , dann }\\ \text{Für alle x_m, y_M} \in M \; (\bar z^M = \text{x_M} \oplus^M \text{y_M} \Rightarrow \text{es existiert ein i} \in N \text{ mit } \text{x_M}=\bar i \text{ und } \text{y_M}=\overline{z-i}) \\ \phantom{Dieser Text erscheint nicht, belegt aber eine Zeile} \\ \underline{Lemma 2} \\ \text{Für alle z} \in N \text{ gilt:} \quad PA \vdash \forall x \forall y \; (\bar z = x \otimes y \quad .\rightarrow. \quad \bigvee\limits_{i=0, \; j=0}^{z} x=\bar i \land y=\overline{z-i}) \\ \text{Daraus folgt:} \\ \phantom{Dieser Text erscheint nicht, belegt aber eine Zeile} \\ \underline{Lemma 2'} \\ \text{Wenn } \mathfrak{M} \text{ ein Modell von PA } \text{und z} \in N \text{ , dann }\\ \text{Für alle x_m, y_M} \in M \; (\bar z^M = \text{x_M} \otimes^M \text{y_M} \Rightarrow \text{ existieren i, j} \in N \text{ mit } \text{x_M}=\bar i \text{ und } \text{y_M}=\overline{j}) \\ \phantom{Dieser Text erscheint nicht, belegt aber eine Zeile} \\ \underline{Lemma 3} \\ \text{Für alle Modelle } \mathfrak{M} \text{ von PA und alle variablenfreien Formeln A gilt} \\ \mathfrak{S} \models A \; \Rightarrow \; PA \vdash A \\ \text{Daraus folgt:} \\ \phantom{Dieser Text erscheint nicht, belegt aber eine Zeile} \\ \underline{Lemma 3'} \\ \text{Für alle Modelle } \mathfrak{M} \text{ von PA und alle variablenfreien Formeln A gilt} \\ \mathfrak{S} \models A \; \Leftrightarrow \; \mathfrak{M} \models A \\ ----------------------- Hier beginnt Block 2 --------------------- \phantom{Dieser Text erscheint nicht, belegt aber eine Zeile} \\ \underline{Lemma} \\ \text{Für jedes Modell } \mathfrak{M} \text{ von PA gilt} \\ \mathfrak{S} \models \neg GC \Rightarrow \mathfrak{M} \models \neg GC \\ \text{Beweis:} \\ \text{(1)}\\ Sei: \mathfrak{S} \models \neg GC \\ \text{also existiert ein mit z bezeichnetes } z\in N \text{ so dass für alle p,q} \in \text{N gilt:} \\ z \neq 0 \text{ und } z \neq 1 \text{ und } z \neq 2 \text{ und } \\ \text( 2z = p + q \Rightarrow \text{ p keine PZ oder q keine PZ}) \quad \text{(*)}\\ \text{(2)}\\ \text{Zeige für ein beliebiges Modell } \mathfrak{M} \text{von PA:} \\ \text{existiert ein z_M } \in M \text{ so dass für alle p_M, q_M} \in N \text{gilt:} \\ \text{(a) } \text{z_M} \neq \bar 0^M \text{und } \text{z_M} \neq \bar 1^M \text{und } \text{z_M} \neq \bar 2^M \text{und } \\ \text{(b) } \bar 2^M \otimes ^M \text{z_M} = \text{p_M} \oplus ^M \text{q_M} \Rightarrow \text{p_M keine PZ oder q_M keine PZ} \\ \text{wahle z_M} \in M \text{ mit z_M := } \bar z^M \\ \text{Dann genügt zu zeigen:} \\ \text{Für alle p_M, q_M } \in M \text{gilt:} \\ \text{(a) } \bar z^M \neq \bar 0^M \text{und } \bar z^M \neq \bar 1^M \text{und } \bar z^M \neq \bar 2^M \text{und } \\ \text{(b) } \bar 2^M \otimes ^M \bar z^M = \text{p_M} \oplus ^M \text{q_M} \Rightarrow \text{p_M keine PZ oder q_M keine PZ} \\ \text{(3)}\\ \text{(a) Nach Lemma 3' folgt aus }\\ z \neq 0 \text{ und } z \neq 1 \text{ und } z \neq 2 \text{ , also } \\ \bar z^M \neq \bar 0^M \text{ und } \bar z^M \neq \bar 1^M \bar z^M \neq \bar 2^M \text{ und } \\ \text{(b) Es sei } \bar 2^M \otimes ^M \bar z_M = \text{p_M} \oplus ^M \text{q_M} \\ \text{Zeige: p_M keine PZ und q_M keine PZ} \\ \text{genügt zu zeigen:} \\ \text{Es existieren x_M, y_M mit} \\ \text{p_M} = \text{x_M } \otimes ^M \text{y_M } \text{und }\text{x_M } \neq \bar 1^M \text{und } \text{x_M } \neq \text{ p_M oder} \\ \text{Es existieren x_M, y_M mit} \\ \text{q_M} = \text{x_M } \otimes ^M \text{y_M } \text{und }\text{x_M } \neq \bar 1^M \text{und } \text{x_M } \neq \text{ q_M} \\ \text{genügt zu zeigen:} \\ \text{Es existieren } x \in N, y \in N \text{ mit} \\ \text{p_M} = \bar x^M \otimes ^M \bar y^M \text{und } \bar x^M \neq \bar 1^M \text{und } \bar x^M \neq \text{ p_M oder} \\ \text{Es existieren } x \in N, y \in N \text{ mit} \\ \text{q_M} = \bar x^M \otimes ^M \bar y^M \text{und } \bar x^M \neq \bar 1^M \text{und } \bar x^M \neq \text{ q_M} \\ \text{(4)}\\ \text{Aus } \bar 2^M \otimes ^M \bar z_M = \text{p_M} \oplus ^M \text{q_M folgt mit Lemma 1'} \\ \text{Es existieren pn } \in N \text{ und qn} \in N \text{ mit p_M=} \overline{pn}^M \text{ und } \text{q_M=} \overline{qn}^M \\ \text{Also gilt:} \\ \bar 2^M \otimes ^M \bar z^M = \overline{pn}^M \oplus ^M \overline{qn}^M \\ \text{also mit Lemma 3':} \\ \overline{2*z}^M \otimes ^M \bar z^M = \overline{pn}^M \oplus ^M \overline{qn}^M \\ \text{Mit Lemma 3' folgt dann:} \\ \text{2*z = pn + qn} \\ \text{Mit (1) folgt dann daraus:} \\ \text{pn keine PZ oder qn keine PZ, also:} \\ pn = x*y \text{ und } x \neq 1 \text{ und } x \neq pn \text{ oder} \\ qn = x*y \text{ und } x \neq 1 \text{ und } x \neq qn \\ \text{Mit Lemma 3' folgt dann:} \\ \overline{pn}^M = \bar x^M * \bar y^M \text{ und } \bar x^M \neq \bar 1^M \text{und } \bar x^M \neq \overline{pn}^M \text{ oder} \\ \overline{qn}^M = \bar x^M * \bar y^M \text{ und } \bar x^M \neq \bar 1^M \text{und } \bar x^M \neq \overline{qn}^M \\ \text{also:} \\ \text{p_M } = \bar x^M * \bar y^M \text{ und } \bar x^M \neq \bar 1^M \text{und } \bar x^M \neq \text{p_M} \text{ oder}\\ \text{q_M } = \bar x^M * \bar y^M \text{ und } \bar x^M \neq \bar 1^M \text{und } \bar x^M \neq \text{q_M} \\

   Profil
majoka
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 25.02.2014
Mitteilungen: 814
  Beitrag No.3, eingetragen 2019-02-07

Es geht zumindest, wenn man die Blöcke aufteilt. Vielleicht sind die Blöcke einfach zu groß... $\displaystyle \underline{Definitionen} \\ \text{N := \{0,1,2,3,...\} } \text{ bezeichnet die intuitiven, natürlichen Zahlen.} \\ \mathfrak{S} = \text{(N,0,1,+,*)} \text{ bezeichnet das Standardmodell von PA.} \\ \text{Für alle z} \in N \text{ wird definiert: } \bar z = \bar 1 \; \oplus ... \oplus \; \bar 1 \qquad \text{z - Mal} \\ \text{Für alle Modelle } \mathfrak{M} \text{ von PA und alle z } \in N \text{ wird definiert } \bar z^M = \bar 1^M \; \oplus^M ... \oplus^M \; \bar 1^M \quad \text{z - Mal} \\ \phantom{Dieser Text erscheint nicht, belegt aber eine Zeile} \\ \underline{Lemma 1} \\ \text{Für alle z} \in N \text{ gilt:} \quad PA \vdash \forall x \forall y \; \bar z = x \oplus y \quad .\rightarrow. \quad \bigvee\limits_{i=0}^z x=\bar i \land y=\overline{z-i} \\ \text{Daraus folgt:} \\ \phantom{Dieser Text erscheint nicht, belegt aber eine Zeile} \\ \underline{Lemma 1'} \\ \text{Wenn } \mathfrak{M} \text{ ein Modell von PA } \text{und z} \in N \text{ , dann }\\ \text{Für alle x_m, y_M} \in M \; (\bar z^M = \text{x_M} \oplus^M \text{y_M} \Rightarrow \text{es existiert ein i} \in N \text{ mit } \text{x_M}=\bar i \text{ und } \text{y_M}=\overline{z-i}) \\ \phantom{Dieser Text erscheint nicht, belegt aber eine Zeile} \\ \underline{Lemma 2} \\ \text{Für alle z} \in N \text{ gilt:} \quad PA \vdash \forall x \forall y \; (\bar z = x \otimes y \quad .\rightarrow. \quad \bigvee\limits_{i=0, \; j=0}^{z} x=\bar i \land y=\overline{z-i}) \\ \text{Daraus folgt:} \\ \phantom{Dieser Text erscheint nicht, belegt aber eine Zeile} \\ \underline{Lemma 2'} \\ \text{Wenn } \mathfrak{M} \text{ ein Modell von PA } \text{und z} \in N \text{ , dann }\\ \text{Für alle x_m, y_M} \in M \; (\bar z^M = \text{x_M} \otimes^M \text{y_M} \Rightarrow \text{ existieren i, j} \in N \text{ mit } \text{x_M}=\bar i \text{ und } \text{y_M}=\overline{j}) \\ \phantom{Dieser Text erscheint nicht, belegt aber eine Zeile} \\ \underline{Lemma 3} \\ \text{Für alle Modelle } \mathfrak{M} \text{ von PA und alle variablenfreien Formeln A gilt} \\ \mathfrak{S} \models A \; \Rightarrow \; PA \vdash A \\ \text{Daraus folgt:} \\ \phantom{Dieser Text erscheint nicht, belegt aber eine Zeile} \\ \underline{Lemma 3'} \\ \text{Für alle Modelle } \mathfrak{M} \text{ von PA und alle variablenfreien Formeln A gilt} \\ \mathfrak{S} \models A \; \Leftrightarrow \; \mathfrak{M} \models A \\ $ ----------------------- Hier beginnt Block 2 --------------------- $ \phantom{Dieser Text erscheint nicht, belegt aber eine Zeile} \\ \underline{Lemma} \\ \text{Für jedes Modell } \mathfrak{M} \text{ von PA gilt} \\ \mathfrak{S} \models \neg GC \Rightarrow \mathfrak{M} \models \neg GC \\ \text{Beweis:} \\ \text{(1)}\\ Sei: \mathfrak{S} \models \neg GC \\ \text{also existiert ein mit z bezeichnetes } z\in N \text{ so dass für alle p,q} \in \text{N gilt:} \\ z \neq 0 \text{ und } z \neq 1 \text{ und } z \neq 2 \text{ und } \\ \text( 2z = p + q \Rightarrow \text{ p keine PZ oder q keine PZ}) \quad \text{(*)}\\ \text{(2)}\\ \text{Zeige für ein beliebiges Modell } \mathfrak{M} \text{von PA:} \\ \text{existiert ein z_M } \in M \text{ so dass für alle p_M, q_M} \in N \text{gilt:} \\ \text{(a) } \text{z_M} \neq \bar 0^M \text{und } \text{z_M} \neq \bar 1^M \text{und } \text{z_M} \neq \bar 2^M \text{und } \\ \text{(b) } \bar 2^M \otimes ^M \text{z_M} = \text{p_M} \oplus ^M \text{q_M} \Rightarrow \text{p_M keine PZ oder q_M keine PZ} \\ \text{wahle z_M} \in M \text{ mit z_M := } \bar z^M \\ \text{Dann genügt zu zeigen:} \\ \text{Für alle p_M, q_M } \in M \text{gilt:} \\ \text{(a) } \bar z^M \neq \bar 0^M \text{und } \bar z^M \neq \bar 1^M \text{und } \bar z^M \neq \bar 2^M \text{und } \\ \text{(b) } \bar 2^M \otimes ^M \bar z^M = \text{p_M} \oplus ^M \text{q_M} \Rightarrow \text{p_M keine PZ oder q_M keine PZ} \\ \text{(3)}\\ \text{(a) Nach Lemma 3' folgt aus }\\ z \neq 0 \text{ und } z \neq 1 \text{ und } z \neq 2 \text{ , also } \\ \bar z^M \neq \bar 0^M \text{ und } \bar z^M \neq \bar 1^M \bar z^M \neq \bar 2^M \text{ und } \\ \text{(b) Es sei } \bar 2^M \otimes ^M \bar z_M = \text{p_M} \oplus ^M \text{q_M} \\ \text{Zeige: p_M keine PZ und q_M keine PZ} \\ \text{genügt zu zeigen:} \\ \text{Es existieren x_M, y_M mit} \\ \text{p_M} = \text{x_M } \otimes ^M \text{y_M } \text{und }\text{x_M } \neq \bar 1^M \text{und } \text{x_M } \neq \text{ p_M oder} \\ \text{Es existieren x_M, y_M mit} \\ \text{q_M} = \text{x_M } \otimes ^M \text{y_M } \text{und }\text{x_M } \neq \bar 1^M \text{und } \text{x_M } \neq \text{ q_M} \\ \text{genügt zu zeigen:} \\ \text{Es existieren } x \in N, y \in N \text{ mit} \\ \text{p_M} = \bar x^M \otimes ^M \bar y^M \text{und } \bar x^M \neq \bar 1^M \text{und } \bar x^M \neq \text{ p_M oder} \\ \text{Es existieren } x \in N, y \in N \text{ mit} \\ \text{q_M} = \bar x^M \otimes ^M \bar y^M \text{und } \bar x^M \neq \bar 1^M \text{und } \bar x^M \neq \text{ q_M} \\ \text{(4)}\\ \text{Aus } \bar 2^M \otimes ^M \bar z_M = \text{p_M} \oplus ^M \text{q_M folgt mit Lemma 1'} \\ \text{Es existieren pn } \in N \text{ und qn} \in N \text{ mit p_M=} \overline{pn}^M \text{ und } \text{q_M=} \overline{qn}^M \\ \text{Also gilt:} \\ \bar 2^M \otimes ^M \bar z^M = \overline{pn}^M \oplus ^M \overline{qn}^M \\ \text{also mit Lemma 3':} \\ \overline{2*z}^M \otimes ^M \bar z^M = \overline{pn}^M \oplus ^M \overline{qn}^M \\ \text{Mit Lemma 3' folgt dann:} \\ \text{2*z = pn + qn} \\ \text{Mit (1) folgt dann daraus:} \\ \text{pn keine PZ oder qn keine PZ, also:} \\ pn = x*y \text{ und } x \neq 1 \text{ und } x \neq pn \text{ oder} \\ qn = x*y \text{ und } x \neq 1 \text{ und } x \neq qn \\ \text{Mit Lemma 3' folgt dann:} \\ \overline{pn}^M = \bar x^M * \bar y^M \text{ und } \bar x^M \neq \bar 1^M \text{und } \bar x^M \neq \overline{pn}^M \text{ oder} \\ \overline{qn}^M = \bar x^M * \bar y^M \text{ und } \bar x^M \neq \bar 1^M \text{und } \bar x^M \neq \overline{qn}^M \\ \text{also:} \\ \text{p_M } = \bar x^M * \bar y^M \text{ und } \bar x^M \neq \bar 1^M \text{und } \bar x^M \neq \text{p_M} \text{ oder}\\ \text{q_M } = \bar x^M * \bar y^M \text{ und } \bar x^M \neq \bar 1^M \text{und } \bar x^M \neq \text{q_M} \\ $

   Profil
Wally
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 02.11.2004
Mitteilungen: 9774
Wohnort: Dortmund, Old Europe
  Beitrag No.4, eingetragen 2019-02-07

Hallo carlox, wahrscheinlich ist dein Text zu lang - LaTex muss das ja auf eine Seite bekommen. Sieh mal hier. Wally

   Profil
carlox
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 22.02.2007
Mitteilungen: 1583
  Beitrag No.5, vom Themenstarter, eingetragen 2019-02-07

\quoteon(2019-02-07 14:02 - Wally in Beitrag No. 4) Hallo carlox, wahrscheinlich ist dein Text zu lang - LaTex muss das ja auf eine Seite bekommen. Wally \quoteoff Danke für euer Feedback. Da mein Latex-Text syntaktisch korrekt zu sein scheint (er funktioniert ja auf verschiedene Blöcke aufgeteilt), will ich das Ganze mal offline testen. Deshalb teste ich gerade "TexWorks portable" Leider gibt es mit TexWorks portable Probleme: Fehlermeldung: "\mathfrac allowed only in a math mode" Setze ich nun meinen ganzen Latex-Text in den math-mode mit: \( ... ... \) dann kommt eine neue Fehlermeldung mit: "Missing $ inserted" Ich verstehe das Ganze nicht. Gibt es denn keine passende Umgebung in TexWorks, so dass die vom Matheplaeten akzeptieret Syntax auch auf TexWorks funktioniert? Mir ist der sogenannte math-mode eigentlich völlig egal. Ich will nur, dass mein Latex-Text in pdf übersetzt wird. mfg cx

   Profil
carlox hat die Antworten auf ihre/seine Frage gesehen.
carlox wird per Mail über neue Antworten informiert.

Wechsel in ein anderes Forum:
 Suchen    
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2023 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]