Newsgroups: fj.comp.texhax
Path: galaxy.trc.rwcp.or.jp!jaist-news!nao
From: nao@jaist.ac.jp (Naoki HAMADA)
Subject: Re: catcode of Japanese characters
In-Reply-To: h_siobar@hoffman.cc.sophia.ac.jp's message of 30 Aug 93 16:16:18 GMT
Message-ID: <NAO.93Aug31151149@mimo.jaist.ac.jp>
Sender: news@jaist.ac.jp (News System Administrator)
Organization: nec habeo, nec careo, nec curo.
References: <12171@hoffman.cc.sophia.ac.jp>
Date: Tue, 31 Aug 1993 06:11:49 GMT
Lines: 37
Xref: galaxy.trc.rwcp.or.jp fj.comp.texhax:3930
X-originally-archived-at: http://galaxy.rwcp.or.jp/text/cgi-bin/newsarticle2?ng=fj.comp.texhax&nb=3930&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.

>  >$$\forall f\exists z\forall x\exists v(T(z,x,v)\land f(x)=U(z))$$
>  >$$$B"O(Bf$B"P(Bz$B"O(Bx$B"P(Bv(T(z,x,v)$B"J(Bf(x)=U(z))$$
>$B$H$$$&Nc$G$O!"KM$O$3$&$$$&$N$rMxMQ$7$?$3$H$,$J$$$H$$$&$3$H$O$5$F(B
>$B$*$-!"2<$NJ}$OB?>/F~NO$KFq$"$j$+$b$7$l$^$;$s!#(B

  $BF~NO$K4X$7$F$O!"$?$H$($P(B mule $B$J$i$P(B .emacs $B$K(B

(its-defrule "La" "$B"O(B" nil nil "roma-kana")
(its-defrule "Le" "$B"P(B" nil nil "roma-kana")
$B!t(B L $B$O(B logic $B$N(B l :-)

$B$J$s$F$N$rJ|$j9~$s$G$*$$$F$d$l$P0lH/$G$9!#(BSKK $B$G$bF1MM$N$3$H$,2DG=$G$9!#(B
$B$3$N$X$s$OF~NO%7%9%F%`$K0MB8$7$^$9$,!"9)IW<!Bh$G$7$g$&!#(B

>$B$3$&$$$&=q$-J}$,@.(B
>$B8y$9$kNc$OFC<l$G$7$g$&$7!J%$%s%F%0%i%k$H$+$b$3$&$$$&Nc$KF~$k$H$O(B
>$B;W$($J$$!K!#(B

  $BM}9)7O$NO@J8$r=q$/;~$K$O!"$H$F$bLr$KN)$D$O$:$G$9!#%.%j%7%"J8;z$d4X78(B
$B1i;;;R$J$I$,$=$N$^$^=q$1$l$P$H$F$b$9$C$-$j$7$^$9$+$i!#(B

  $B$b$C$H$b!"@QJ,5-9f$,"i$J$N$O$"$s$^$j$&$l$7$/$J$$$+$b$7$l$^$;$s!#$=$l(B
$B$G$b(B \int $B$h$j$O!"$@$$$V$^$7!"$+$J!)(B

>$BKM$,F|K\8l(B catcode $BM_$7$$GI$J$N$O!"(BJIS $B4A;z$K%m%7%"J8;z$,4^$^$l$F(B
$B!JCfN,!K(B
>$B$3$NJ8;z$G=q$$$?%F%-%9%H$rD>@\(B TeX $B$K$+$^$9$3$H$,$G$-$k$H$H$F$b$&(B
>$B$l$7$$(B...$B!#(B

  $B%(%G%#%?$r@5<0$K%m%7%"8l2=$7$F!J(Bmule $B$J$s$+$@$H$9$G$K8fA7N)$F$5$l$F(B
$B$^$9$+$iHf3SE*MF0W$G$9$h$M!K!"%m%7%"8l$G0lHL$K;H$o$l$F$$$k%3!<%I$r07$((B
$B$k$h$&$K$7$F$*$$$F!"$=$l$r%m%7%"8l(B TeX$B!J$C$F$"$k$s$G$9$+!)L5$$$O$:$O$J(B
$B$$$H;W$$$^$9$,!D!K$K$+$^$9!"$H$$$&$N$,$"$k$Y$-;Q$N$h$&$J5$$b$7$^$9$,!D(B

  $B2aEO4|E*$J;H$$J}$H$7$F$O$=$&$$$&$N$b$"$C$F$$$$$N$+$b$7$l$^$;$s$M!#(B

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