Newsgroups: fj.comp.texhax
Path: galaxy.trc.rwcp.or.jp!jaist-news!nao
From: nao@jaist.ac.jp (Naoki HAMADA)
Subject: catcode of Japanese characters
Message-ID: <NAO.93Aug30193602@mimo.jaist.ac.jp>
Sender: news@jaist.ac.jp (News System Administrator)
Organization: nec habeo, nec careo, nec curo.
Date: Mon, 30 Aug 1993 10:36:02 GMT
Lines: 25
Xref: galaxy.trc.rwcp.or.jp fj.comp.texhax:3919
X-originally-archived-at: http://galaxy.rwcp.or.jp/text/cgi-bin/newsarticle2?ng=fj.comp.texhax&nb=3919&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.

$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

  catcode $B$rJQ99$;$:$K$3$l$r<B8=$9$k$N$O!">/$J$/$H$b$o$?$7$NCN<1$NHO0O(B
$BFb$G$O$"$^$j8=<BE*!?<BMQE*$G$O$"$j$^$;$s!#!JNI$$J}K!$,$"$l$P$h$$$N$G$9(B
$B$,!#!K(BTeX $B$NFbIt$G$N=hM}$r$"$-$i$a$FA0=hM}$K$9$l$P$^$"!"<B8=$G$-$J$$$o(B
$B$1$G$O$"$j$^$;$s$,!"$=$l$O$I$&$ba{$G$9!#(B

  $BF|K\8lJ8;z$G$b(B catcode $B$rJQ99$G$-$k$h$&$K$9$k$?$a$K$O!"F|K\8l(B TeX $BK\(B
$BBN$N%a%+%K%:%`$rJQ99$9$kI,MW$,$"$j$^$9!#$=$N>l9g$N%a%j%C%H$H$$$&$H!"$H(B
$B$j$"$($:$O>e$K$"$2$?Nc$/$i$$$7$+;W$$$D$-$^$;$s$,!"F|K\8lJ8;z$r$J$k$Y$/(B
$BFCJL07$$$7$J$$$[$&$,H~$7$$!"$H$$$&4QE@$+$i$O9%$^$7$$$h$&$K;W$$$^$9!#$I(B
$B$s$J$b$N$G$7$g$&!#(B

$BIMED(B $BD><y(B
