Article View: fj.comp.theory
Article #118Re: German letters showing in Gentzen LK
From: shimura
Date: Fri, 10 May 2002 14:23
Date: Fri, 10 May 2002 14:23
36 lines
2328 bytes
2328 bytes
WATANABE Katsuhiro <katsu@sra.co.jp> writes:
> LKのGentzenさんってドイツ人でしょうか？
そうです．
> LKの勉強をしていると、ドイツ語の飾り文字のようなものが沢山出てきます。
たくさんとはいっても A, B, C, D, F, G の六種類ぐらいだと思います．
> BやDに似たものもありますが、カタツムリみたいなものとか、徳利のような
> 形のものもあります。これらの一覧や読み方をご存じの方はいらっしゃいますか？
確実な情報から．
佐藤文広，数学ビギナーズマニュアル，日本評論社
ISBN コード 4-535-78208-3
に載っています．
数学辞典の付録にもあったような気もします．
ちょっと古めのドイツ語の辞書にはあるかもしれません．
ドイツ語のアルファベットの読み方を知っているならば次で十分?
\documentclass{jarticle}
\usepackage{amssymb}
\begin{document}
$\frak{ABCDEFGHIJKLMNOPQRSTUVWXYZ}$
$\frak{abcdefghijklmnopqrstuvwxyz}$
\end{document}
--
志村立矢
Technical Details
Message-ID:
<5w8z6snktj.fsf@hb.logic.info.waseda.ac.jp>Path:
arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!komachi.sp.cs.cmu.edu!Q.T.Honey!news.join.ad.jp!news.imnet.ad.jp!waseda.ac.jp!kakehi-news!not-for-mailReferences:
<xujn0v8wr1a.fsf@sranhm.sra.co.jp>Show Full Headers
Complete Article Headers
X-Google-Language: Japanese,JIS X-Google-Thread: 10a0b6,2d981af9d6761df1 X-Google-Attributes: gid10a0b6,public X-Google-ArrivalTime: 2002-05-10 07:31:14 PST Path: arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!komachi.sp.cs.cmu.edu!Q.T.Honey!news.join.ad.jp!news.imnet.ad.jp!waseda.ac.jp!kakehi-news!not-for-mail From: shimura@hb.logic.info.waseda.ac.jp Newsgroups: fj.comp.theory Subject: Re: German letters showing in Gentzen LK Date: 10 May 2002 23:23:20 +0900 Organization: Eda Lab. Lines: 36 Message-ID: <5w8z6snktj.fsf@hb.logic.info.waseda.ac.jp> References: <xujn0v8wr1a.fsf@sranhm.sra.co.jp> Reply-To: shimura@math.cst.nihon-u.ac.jp NNTP-Posting-Host: hb.logic.info.waseda.ac.jp Mime-Version: 1.0 (generated by SEMI 1.13.7 - "粟津") Content-Type: text/plain; charset=ISO-2022-JP X-Trace: kakehi-news.kake.info.waseda.ac.jp 1021040601 5343 133.9.223.11 (10 May 2002 14:23:21 GMT) X-Complaints-To: news@qed.kake.info.waseda.ac.jp NNTP-Posting-Date: 10 May 2002 14:23:21 GMT User-Agent: T-gnus/6.14.1 (based on Gnus v5.8.3) (revision 01) SEMI/1.13.7 (粟津) CLIME/1.13.6 (中ノ庄) Emacs/20.7 (i386-vine-linux-gnu) MULE/4.1 (葵)