Newsgroups: fj.comp.texhax
Path: galaxy.trc.rwcp.or.jp!jaist-news!cs.titech!wnoc-tyo-news!scslwide!wsgw!hyperware.co.jp!regain
From: regain@hyperware.co.jp (Mitsuharu ARIMURA)
Subject: Re: catcode of Japanese characters
In-Reply-To: nao@jaist.ac.jp's message of Mon, 30 Aug 1993 10:36:02 GMT
Message-ID: <REGAIN.93Aug30221342@sage.hyperware.co.jp>
Lines: 33
Sender: news@hyperware.co.jp (Usenet News System)
Organization: Hyperware Co., Ltd.
References: <NAO.93Aug30193602@mimo.jaist.ac.jp>
Date: Mon, 30 Aug 1993 13:13:42 GMT
Lines: 33
Xref: galaxy.trc.rwcp.or.jp fj.comp.texhax:3921
X-originally-archived-at: http://galaxy.rwcp.or.jp/text/cgi-bin/newsarticle2?ng=fj.comp.texhax&nb=3921&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.

$BM-B<!w%O%$%Q!<%&%'%"$G$9!#(B

In article <NAO.93Aug30193602@mimo.jaist.ac.jp>
 nao@jaist.ac.jp (Naoki HAMADA) writes:

>   $BF|K\8l(B TeX $B$G$O!J(BNTT $BHG$b(B ASCII $BHG$b!KF|K\8lJ8;z$N(B catcode $B$rJQ99$9$k(B
>   $B$3$H$,$G$-$^$;$s!#:G6a!"$3$l$,JQ99$G$-$?$i$$$$$J$"!"$H;W$&$h$&$K$J$j$^(B
>   $B$7$?!#6qBNE*$K$O!"<!$N$h$&$J>l9g$r9M$($F$$$^$9!#(B
>
>   $$\forall f\exists z\forall x\exists v(T(z,x,v)\land f(x)=U(z))$$
>
>   $B$H$$$&$h$&$J?t<0$,$"$C$?$H$7$^$9!#$3$l$,(B
>
>   $$$B"O(Bf$B"P(Bz$B"O(Bx$B"P(Bv(T(z,x,v)$B"J(Bf(x)=U(z))$$
>
>   $B$H=q$1$l$P!"2DFI@-$,8~>e$7!"8m$j$N:.F~$,KI$.$d$9$/!"$^$?!"8m$j$r8+$D$1(B
>   $B$d$9$/$J$k$H;W$&$N$G$9!#(B

$BC1$K(B backslash $B$rIU$1$F(B

\let\$B"O(B\forall
\let\$B"P(B\exists
\let\$B"J(B\land
   $$\$B"O(Bf\$B"P(Bz\$B"O(Bx\$B"P(Bv(T(z,x,v)\$B"J(Bf(x)=U(z))$$

$B$H$7$F$OBLL\$G$7$g$&$+!#(B
$B$3$l$@$H!"2DFI@-$b$=$l$[$IMn$A$J$$$H;W$$$^$9$,!#(B

--
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=--=-=-=-=-=-=-=-=-=-
($B3t(B)$B%O%$%Q!<%&%(%"(B  $B%^%k%A%a%G%#%"?d?J;v6HK\It(B  $B%o!<%/%9%F!<%7%g%s5;=QIt(B
 $B%=%U%H%&%'%"3+H/2](B  $BBh;03+H/C4Ev(B                             $BM-B<(B $B8w@2(B
TEL. 03-3812-7020($BFb@~(B21)  FAX.03-3812-7499       regain@hyperware.co.jp
