文字を囲んで、囲み線を途中で切ってそこに文字を入れたい

名前: ぐれん
日時: 2004-03-08 21:19:41
IPアドレス: 220.247.0.*

題名に書いたように、文字を四角で囲んで、
その囲んだ線の上の方の左側をちょっと切って、
そこに文字を打ちたいのですが、どうすればよいのですか？

｜ーーー命題ーーーーーー｜
｜a^(p-1)≡１　　 　　　｜
-------------------------


のように。

↓の風にやれと言われましたが、もっと簡潔に素人でもわかるようにできるはずだと
信じているので、どなたか心優しい方、ご教授ください。




\documentclass[a5paper]{jsbook}
\usepackage[xdvi]{graphicx}
\usepackage{ascmac}

\makeatletter

%%% 定義番号 %%%
\newcounter{teiri}[chapter]
\renewcommand{\theteiri}{\stepcounter{teiri} \thechapter.\@arabic\c@teiri }

%%% itembox %%%
\newdimen\@itemh\newtoks\@iboxstr\newtoks\@iboxpos
\def\@hleader{\leaders\hrule height .7pt\hfill}
\def\itembox{\@ifnextchar[{\@itembox}{\@itembox[c]}}
\def\@itembox[#1]#2{\par\vspace{.3\baselineskip}{\setbox0=\hbox{#2}%
\global\@itemh\ht0\global\advance\@itemh\dp0}%
\vspace{.5\@itemh}\bgroup\@scw\linewidth
\advance\@scw -0pt\@iboxpos={#1}\@iboxstr={\gt{$\!\!\!\:$\raisebox{2.75pt}{―$\;\!\!$― #2\theteiri}}}%
\setbox\scb@x=\hbox\bgroup\begin{minipage}{11.2cm}\vspace*{.5\@itemh}}%
\def\enditembox{\kern7pt\end{minipage}\egroup%
\setbox\scscb@x=\hbox to\linewidth{\hfil\vbox{\offinterlineskip%
\thicklines\setlength{\unitlength}{1pt}%
\hbox to\@scw{\if l\the\@iboxpos\else\@hleader\fi
\ \vbox to.5pt{\vss\hbox{\the\@iboxstr}\vss}\ \if r\the\@iboxpos\else
\@hleader\fi}\kern9.0pt
　\kern-10pt\box\scb@x
\kern10pt\hrule height.7pt}\hfil}\dimen0=\ht\scscb@x %
\noindent\hbox to \linewidth{\hbox to.6pt{\vbox to\dimen0{\@vrf@{0pt}{.7pt}}%
\hss}\box\scscb@x\hbox to.6pt{\hss\vbox to\dimen0{\@vrf@{0pt}{.7pt}}}%
\hss}\egroup}

\begin{document}
\begin{itembox}[l]{定理}
ガウスは農民の子だった。

\end{itembox}
\end{document}

この書き込みへの返事：