Newsgroups: fj.comp.texhax
Path: galaxy.trc.rwcp.or.jp!coconuts.jaist!wnoc-tyo-news!news.u-tokyo.ac.jp!t-server!keisu3!keisu3!mura
From: mura@sat.t.u-tokyo.ac.jp (Noboru Murata)
Subject: Re: [Q] teiri kankyou
In-Reply-To: g53448@sakura.kudpc.kyoto-u.ac.jp's message of 12 Sep 1994 15:40:27 GMT
Message-ID: <MURA.94Sep13124354@naomi.sat.t.u-tokyo.ac.jp>
Sender: news@keisu-s.t.u-tokyo.ac.jp
Nntp-Posting-Host: naomi.sat.t.u-tokyo.ac.jp
Organization: Faculty of Engineering, Univ. of Tokyo, Japan
References: <1994Sep10.052017.11265@news.tokushima-u.ac.jp>
	<34sftp$hqs@kudpc.kudpc.kyoto-u.ac.jp>
	<MURA.94Sep12102558@naomi.sat.t.u-tokyo.ac.jp>
	<351spb$4dv@kudpc.kudpc.kyoto-u.ac.jp>
Date: Tue, 13 Sep 1994 03:43:53 GMT
Lines: 38
Xref: galaxy.trc.rwcp.or.jp fj.comp.texhax:5237
X-originally-archived-at: http://galaxy.rwcp.or.jp/text/cgi-bin/newsarticle2?ng=fj.comp.texhax&nb=5237&hd=a
X-reformat-date: Mon, 18 Oct 2004 15:18:22 +0900
X-reformat-comment: Tabs were expanded into 4 column tabstops by the Galaxy's archiver. See http://katsu.watanabe.name/ancientfj/galaxy-format.html for more info.


$B$`$i$?(B@$B$H$&$@$$$1$$$9$&$H?=$7$^$9!#(B

>> \newif\ifth
>> \newtheorem{theorem}{\unskip}[section]
>> \let\xtheorem=\theorem\def\theorem{\thtrue\xtheorem}
>> \newtheorem{lemma}[theorem]{\unskip}
>> \def\thetheorem{\ifth Theorem\else Lemma\fi\ \thesection.\arabic{theorem}}

> $B$3$l$@$H!$(B\unskip $B$O(B \@begintheorem $B$d(B \@opargbegintheorem $B$K(B
> $B4^$^$l$k(B \hskip\labelsep $B$r;&$9F/$-$r$7$F!$<!$N(B \  $B$O$=$N$^$^(B
> $B3h$-$F$7$^$$$^$9!%=>$C$F!$(B\labelsep - \fontdimen2\font $B$@$1:8(B
> $B$K$:$l$^$9!%$b$7!$(B\labelsep $B$H(B \fontdimen2\font $B$,0lCW$7$F$$(B
> $B$k$+!$$-$o$a$F6a$1$l$P!$5$IU$+$J$$$G$7$g$&$,!$86M}E*$K$O$*$+(B
> $B$7$$$G$9!%(B

$B$4$a$s$J$5$$!#$*$C$7$c$k$H$*$j$G$9!#8f;XE&$"$j$,$H$&$4$6$$$^$9!#(B
\ $B$O(B \newtheorem{theorem}{TEXT}... $B$H$7$?$H$-$N(B TEXT $B$ND>8e$KMh$k$N$G!"(B
$B>e$N$h$&$J(B \unskip $B$8$c<h$l$^$;$s$G$7$?!#(B
$B4:$F$3$N$d$j$+$?$K8G<9$9$k$J$i!"(B
\def\ignore#1{\relax} $B$H$G$bDj5A$7$F!"(B
\unskip -> \ignore $B$H$G$b$9$l$P$$$$$N$+$J!)(B

>>>> $B$NItJ,$,!$%9%Z!<%9#2$DJ,%$%s%G%s%H$7$^$;$s$+!)(B
>> 
>> 2$B$DJ,%$%s%G%s%H$7$^$9!#(B

<<$BN,(B>>

> $B$3$l$O;d$KBP$9$k%a%C%;!<%8$G$9$h$M!%M}O@E*$K$3$N$h$&$K$J$k$3(B
> $B$H$O!$$b$A$m$s$o$+$C$F$$$^$9!%<i0B$5$s$,5$$K$7$F$*$i$l$J$$$h(B
> $B$&$@$+$i!$IT;W5D$K;W$C$F!J$R$g$C$H$7$F<i0B$5$s$N%7%9%F%`$G$O(B
> $B0c$&$N$+$H$+!KJ9$$$?$@$1$G$9!%(B

$B5\:j$5$s$X$G$b$"$j$^$9$,!"$I$A$i$+$H$$$($P<i0B$5$s$X$G$9!#(B
$B5\:j$5$s$O$o$+$C$F$$$k$H;W$C$F$^$7$?$,!#(B
--
(;_;)
