dionysos10
19-05-2008, 21:25
Hallo erstmal! :)
Ich habe folgendes Problem:
Ich korrigiere ein paar Texte in Latex, bin aber weiß Gott kein Profi dadrin. Nun habe ich an einer Stelle an mathematisches Bild, das sich in einer Datei namens *.pstex_t befand. Der Code darin ist folgender:
\begin{picture}(0,0)%
\includegraphics{vBdivide3.pstex}%
\end{picture}%
\setlength{\unitlength}{2565sp}%
%
\begingroup\makeatletter\ifx\SetFigFont\undefined%
\gdef\SetFigFont#1#2#3#4#5{%
\reset@font\fontsize{#1}{#2pt}%
\fontfamily{#3}\fontseries{#4}\fontshape{#5}%
\selectfont}%
\fi\endgroup%
\begin{picture}(4505,2274)(1133,977)
\put(3601,1889){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefa ult}{\updefault}{\color[rgb]{0,0,0}$!P$}%
}}}}
\put(2551,1214){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefa ult}{\updefault}{\color[rgb]{0,0,0}$\neg P$}%
}}}}
\put(5101,2189){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefa ult}{\updefault}{\color[rgb]{0,0,0}$s$}%
}}}}
\put(5251,1064){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefa ult}{\updefault}{\color[rgb]{0,0,0}$P$}%
}}}}
\put(1576,1214){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefa ult}{\updefault}{\color[rgb]{0,0,0}$P$}%
}}}}
\put(1651,2264){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefa ult}{\updefault}{\color[rgb]{0,0,0}$s$}%
}}}}
\put(3451,2189){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefa ult}{\updefault}{\color[rgb]{0,0,0}$\implies$}%
}}}}
\end{picture}%
Mein Texshop Editor zeigt mir die beiden Kreise aber leider nicht an!? welches Package brauche ich dafür?
Und zweitens: wie kann ich bei dem rechten Halbkreis unten noch ein großes P hinbekommen. Das sieht mir alles nach viel Kauderwelsch aus und ich wäre sehr dankbar, wenn sich jemand erbarmen würde mir zu helfen!
Vielen Dank im Vorraus!!!
Ich habe folgendes Problem:
Ich korrigiere ein paar Texte in Latex, bin aber weiß Gott kein Profi dadrin. Nun habe ich an einer Stelle an mathematisches Bild, das sich in einer Datei namens *.pstex_t befand. Der Code darin ist folgender:
\begin{picture}(0,0)%
\includegraphics{vBdivide3.pstex}%
\end{picture}%
\setlength{\unitlength}{2565sp}%
%
\begingroup\makeatletter\ifx\SetFigFont\undefined%
\gdef\SetFigFont#1#2#3#4#5{%
\reset@font\fontsize{#1}{#2pt}%
\fontfamily{#3}\fontseries{#4}\fontshape{#5}%
\selectfont}%
\fi\endgroup%
\begin{picture}(4505,2274)(1133,977)
\put(3601,1889){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefa ult}{\updefault}{\color[rgb]{0,0,0}$!P$}%
}}}}
\put(2551,1214){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefa ult}{\updefault}{\color[rgb]{0,0,0}$\neg P$}%
}}}}
\put(5101,2189){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefa ult}{\updefault}{\color[rgb]{0,0,0}$s$}%
}}}}
\put(5251,1064){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefa ult}{\updefault}{\color[rgb]{0,0,0}$P$}%
}}}}
\put(1576,1214){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefa ult}{\updefault}{\color[rgb]{0,0,0}$P$}%
}}}}
\put(1651,2264){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefa ult}{\updefault}{\color[rgb]{0,0,0}$s$}%
}}}}
\put(3451,2189){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefa ult}{\updefault}{\color[rgb]{0,0,0}$\implies$}%
}}}}
\end{picture}%
Mein Texshop Editor zeigt mir die beiden Kreise aber leider nicht an!? welches Package brauche ich dafür?
Und zweitens: wie kann ich bei dem rechten Halbkreis unten noch ein großes P hinbekommen. Das sieht mir alles nach viel Kauderwelsch aus und ich wäre sehr dankbar, wenn sich jemand erbarmen würde mir zu helfen!
Vielen Dank im Vorraus!!!