Hallo,
ich habe schon einige Stunden damit verbracht das Problem zu lösen und diverse Foren zu durchstöbern, aber ich finde keine Lösung.
Ich habe mit dem ntheorem Package die Proof Umgebung verändert, so dass sie folgendermaßen aussieht:
PROOF:
Hier steht der Beweis.
QED-Kästchen
Nun stellt sich das Problem, dass ich einige Beweise habe, die mit einer align* Umgebung enden und in diesem Falle wird kein QED Kästchen gezeichnet. Füge ich als letzte Zeile Text oder eine Formel via $...$ ein ist alles ok.
Problemlos funktioniert es nur unter Benutzung von
\usepackage[amsthm,thmmarks]{ntheorem}
lasse ich das thmmarks weg und entferne die Anpassungen, so bekommt kein Beweis ein Kästchen.
Als zusätzliches Problem stellt sich noch, dass ich gerne eine durchlaufende Nummerierung hätte, füge ich aber beispielsweise
\newtheorem{thm}{Theorem}[section]
\newtheorem{lem}[thm]{Lemma}[section]
ein, so dass die Lemmata die Zählung von thm übernehmen sollen, so bekomme ich den Fehler
"Missing \begin{document}. \newtheorem{cor}[thm]{Corollary}["
Anbei mein Minimalbeispiel
\documentclass[a4paper,12pt]{book}
%***********************************************
% Packages *
%***********************************************
\usepackage[ngerman,english]{babel} %priority of languages in reverse order
\usepackage[ansinew]{inputenc}
\usepackage{amsmath}
\usepackage{amssymb,amsfonts,amstext,amsbsy}
%\usepackage[amsthm,thmmarks]{ntheorem}
\usepackage[thmmarks]{ntheorem}
\usepackage{mathabx} %for \bigboxvoid qed symbol
%***********************************************
% Theorem Umgebungen *
%***********************************************
\theoremstyle{break} %changebreak removes the italic from body
\theoremseparator{}
\newtheorem{thm}{Theorem}[chapter]
\newtheorem{prop}{Proposition}[chapter]
\newtheorem{cor}[thm]{Corollary}[chapter]
\newtheorem{lem}{Lemma}[chapter]
\newtheorem{defi}{Definition}[chapter]
\newtheorem{exa}{Example}[chapter]
\newtheorem{rem}{Remark}
\newtheorem{case}{Case}
\newtheorem*{IA}{Inertia Assumption}
\newtheorem*{MA}{Maximality Assumption}
\newtheorem*{SepA}{Separation Assumption}
\newtheorem*{lIA}{Loose Inertia Assumption}
\newtheorem*{IndA}{Independence Assumption}
\newtheorem{axiom}{A}[section]
\renewcommand{\theaxiom}{\arabic{axiom}} %counter for environment axiom
\newtheorem*{as}{Assumption}
\newtheorem{ass}{Assumption}[chapter]
\renewcommand{\theass}{\arabic{ass}}
\newtheorem{assa}{Assumption}[chapter]
\renewcommand{\theassa}{\arabic{assa}a}
\newtheorem{SA}{Structural Assumption}[chapter]
\renewcommand{\theSA}{\arabic{SA}}
%Proof environment
\theoremstyle{nonumberbreak}
\theoremseparator{:}
\theoremindent0.5cm
\theoremheaderfont{\scshape}
\theorembodyfont{\normalfont}
\theoremsymbol{\ensuremath{_\bigboxvoid}}
\RequirePackage{amssymb}
\newtheorem{proof}{Proof}
\qedsymbol{\ensuremath{_\bigboxvoid}}
%***********************************************
% Dokument *
%***********************************************
\begin{document}
\begin{thm}
Inhalt...
\end{thm}
\begin{proof}
\begin{align*}
a+b&=c\\
&=d\\
&=d
\end{align*}
Test %lässt man diese Zeile weg, so kommt kein Kästchen
\end{proof}
\begin{cor}
Inhalt...
\end{cor}
\end{document}