[pstricks] Re: pstricks & vdm

[Herbert Voss]

Dan Owen wrote:

> After some investigation, it seems pstricks.sty & vdm.sty are compatiable, 
> but my skill of tex/latex isn't sufficient to solve the problem. From my 
> thesis, it seems only that the 'proof' environment conflicks, a sample 
> document structure is below.



> \documentclass[oneside,english]{book}
> \usepackage[T1]{fontenc}
> \usepackage[latin1]{inputenc}
> \setcounter{secnumdepth}{3}
> \setcounter{tocdepth}{3}
> 
> \makeatletter
> 
> \usepackage{vdm}
> \usepackage{pstricks}
> 
> \makeatother
> \begin{document}
> 
> \begin{proof}
> \From something \\
> \Infer something-else \\
> \end{proof}
> 
> \end{document} 

try the following, which should work

Herbert



\documentclass[12pt]{book}

\usepackage{vdm}
\usepackage{pstricks}
\makeatletter
\def\@enterMathMode{\def\@stopfield{$\color at endgroup\egroup}$}
\makeatother

\begin{document}

\begin{proof}
\From something \\
\Infer something-else \\
\end{proof}

\end{document}



-- 
http://TeXnik.de/
http://PSTricks.de/
ftp://ftp.dante.de/tex-archive/info/math/voss/Voss-Mathmode.pdf
http://www.dante.de/faq/de-tex-faq/
http://www.tex.ac.uk/cgi-bin/texfaq2html?introduction=yes