T*******n 发帖数: 493 | 1 If you have sed (you will on UNIX/Linux), you can create
a sed script (detexceptions.sed) and add to it lines like
s/\$\\mu\$/mu/g
s/\\shortcut/very long full phrase/g
s/\\verb\(.\)\([^\1]*\)\(\1\)/\2/
The first line will convert all $\mu$ into mu so that detex
doesn't throw them away. (detex will still throw away
$\mu_1$, so you might need to change the rule to adapt
to your file.)
The second line is useful if you defined something like
\newcommand{\shortcut}{very long full phrase} |
|
e*******e 发帖数: 987 | 2 我觉得不合理。DEBBIE怎么会亲手杀了Laguata?为什么不让DEXTER干掉她? 是不是别
无他法? laguata已经醒来,手里有枪。。。 但laguata可以用枪杀DETEXER 啊,SELF
-Defense。。。这说明Laguata手上没枪啊 |
|
l******t 发帖数: 108 | 3 and another one: detex
i have win32 versions for both if anyone wants them. |
|
M*******n 发帖数: 508 | 4 detex works almost perfect!
thank you so much! |
|
a**a 发帖数: 416 | 5 发信人: ukim (X人), 信区: Science
标 题: Heroes in My Heart (51)
发信站: BBS 水木清华站 (Sun May 26 00:56:53 2002)
当初Fermat证明不了东西时候,就写下了这句话
Cuius rei demonstrationem mirabilem sabe
detex marginis exiguitas non caparet.
翻译成中文就是
我有一个对这个命题的十分美妙的证明,这里的空白太小,写不下。
后来,Hilbert也会了类似的技巧,
有人问Hilbert为什么不去证明Fermat大定理,他说为什么要杀死一只下金蛋的母鹅,因
为这样的一个对整个数学发展有着如此深远推动的问题太少了。不过个人认为他没有能
力杀死这只鹅。
还有另外一个和金蛋有关的事情,不过和数学家没有关系。当初欧洲的反法联军快攻到
巴黎的时候,Ecole Polytechnique的学生要求上战场,保卫国家,拿破仑说:“这怎么
可能呢,我不能为了打赢一场战争,杀死一只会下金蛋的母鸡吧。”
|
|