home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| Newsgroup Content (archive/news)
| magic
| Supported |
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| news text
| default
| |
| 99%
| file
| LaTeX auxiliary file
| default
| |
| 98%
| file
| LaTeX document, ASCII text
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| dexmagic
| PrintFox/Pagefox WEAK
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
| |
| 100%
| xdgMime
| message/news
| default
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 50 61 74 68 3a 20 73 70 | 61 72 6b 79 21 75 75 6e |Path: sp|arky!uun|
|00000010| 65 74 21 63 68 61 72 6f | 6e 2e 61 6d 64 61 68 6c |et!charo|n.amdahl|
|00000020| 2e 63 6f 6d 21 70 61 63 | 62 65 6c 6c 2e 63 6f 6d |.com!pac|bell.com|
|00000030| 21 73 67 69 62 6c 61 62 | 21 73 77 72 69 6e 64 65 |!sgiblab|!swrinde|
|00000040| 21 63 73 2e 75 74 65 78 | 61 73 2e 65 64 75 21 73 |!cs.utex|as.edu!s|
|00000050| 75 6e 2d 62 61 72 72 21 | 6e 65 77 73 32 6d 65 2e |un-barr!|news2me.|
|00000060| 45 42 61 79 2e 53 75 6e | 2e 43 4f 4d 21 73 65 76 |EBay.Sun|.COM!sev|
|00000070| 65 6e 2d 75 70 2e 45 61 | 73 74 2e 53 75 6e 2e 43 |en-up.Ea|st.Sun.C|
|00000080| 4f 4d 21 73 75 6e 67 79 | 21 6e 65 77 73 2e 53 77 |OM!sungy|!news.Sw|
|00000090| 65 64 65 6e 2e 53 75 6e | 2e 43 4f 4d 21 73 77 69 |eden.Sun|.COM!swi|
|000000a0| 70 70 79 21 73 65 75 6e | 65 74 21 73 75 6e 69 63 |ppy!seun|et!sunic|
|000000b0| 21 6d 63 73 75 6e 21 73 | 75 6e 34 6e 6c 21 72 75 |!mcsun!s|un4nl!ru|
|000000c0| 75 69 6e 66 21 6e 69 63 | 6f 0a 46 72 6f 6d 3a 20 |uinf!nic|o.From: |
|000000d0| 6e 69 63 6f 40 63 73 2e | 72 75 75 2e 6e 6c 20 28 |nico@cs.|ruu.nl (|
|000000e0| 4e 69 63 6f 20 56 65 72 | 77 65 72 29 0a 4e 65 77 |Nico Ver|wer).New|
|000000f0| 73 67 72 6f 75 70 73 3a | 20 63 6f 6d 70 2e 74 65 |sgroups:| comp.te|
|00000100| 78 74 2e 74 65 78 0a 53 | 75 62 6a 65 63 74 3a 20 |xt.tex.S|ubject: |
|00000110| 63 75 73 74 6f 6d 69 7a | 69 6e 67 20 5c 6e 65 77 |customiz|ing \new|
|00000120| 74 68 65 6f 72 65 6d 20 | 77 69 74 68 20 6e 65 77 |theorem |with new|
|00000130| 74 68 6d 2e 73 74 79 0a | 53 75 6d 6d 61 72 79 3a |thm.sty.|Summary:|
|00000140| 20 54 68 69 73 20 75 73 | 65 64 20 74 6f 20 62 65 | This us|ed to be|
|00000150| 20 72 6d 74 68 6d 2e 73 | 74 79 0a 4b 65 79 77 6f | rmthm.s|ty.Keywo|
|00000160| 72 64 73 3a 20 4c 61 54 | 65 58 2c 20 5c 6e 65 77 |rds: LaT|eX, \new|
|00000170| 74 68 65 6f 72 65 6d 2c | 20 73 74 79 6c 65 20 66 |theorem,| style f|
|00000180| 69 6c 65 0a 4d 65 73 73 | 61 67 65 2d 49 44 3a 20 |ile.Mess|age-ID: |
|00000190| 3c 31 39 39 33 4a 61 6e | 32 37 2e 31 33 31 32 33 |<1993Jan|27.13123|
|000001a0| 38 2e 31 31 38 35 40 63 | 73 2e 72 75 75 2e 6e 6c |8.1185@c|s.ruu.nl|
|000001b0| 3e 0a 44 61 74 65 3a 20 | 32 37 20 4a 61 6e 20 39 |>.Date: |27 Jan 9|
|000001c0| 33 20 31 33 3a 31 32 3a | 33 38 20 47 4d 54 0a 53 |3 13:12:|38 GMT.S|
|000001d0| 65 6e 64 65 72 3a 20 6e | 65 74 77 6f 72 6b 2d 6e |ender: n|etwork-n|
|000001e0| 65 77 73 40 63 73 2e 72 | 75 75 2e 6e 6c 0a 4f 72 |ews@cs.r|uu.nl.Or|
|000001f0| 67 61 6e 69 7a 61 74 69 | 6f 6e 3a 20 55 74 72 65 |ganizati|on: Utre|
|00000200| 63 68 74 20 55 6e 69 76 | 65 72 73 69 74 79 2c 20 |cht Univ|ersity, |
|00000210| 44 65 70 74 2e 20 6f 66 | 20 43 6f 6d 70 75 74 65 |Dept. of| Compute|
|00000220| 72 20 53 63 69 65 6e 63 | 65 0a 4c 69 6e 65 73 3a |r Scienc|e.Lines:|
|00000230| 20 36 39 0a 0a 41 20 6c | 6f 6e 67 20 74 69 6d 65 | 69..A l|ong time|
|00000240| 20 61 67 6f 2c 20 49 20 | 70 6f 73 74 65 64 20 74 | ago, I |posted t|
|00000250| 68 65 20 72 6d 74 68 6d | 2e 73 74 79 20 66 69 6c |he rmthm|.sty fil|
|00000260| 65 2c 20 74 6f 20 74 79 | 70 65 73 65 74 20 62 6f |e, to ty|peset bo|
|00000270| 64 69 65 73 20 6f 66 0a | 65 6e 76 69 72 6f 6e 6d |dies of.|environm|
|00000280| 65 6e 74 73 20 64 65 66 | 69 6e 65 64 20 77 69 74 |ents def|ined wit|
|00000290| 68 20 5c 6e 65 77 74 68 | 65 6f 72 65 6d 20 69 6e |h \newth|eorem in|
|000002a0| 20 72 6f 6d 61 6e 20 66 | 6f 6e 74 2e 0a 53 69 6e | roman f|ont..Sin|
|000002b0| 63 65 20 74 68 65 6e 2c | 20 73 65 76 65 72 61 6c |ce then,| several|
|000002c0| 20 6f 74 68 65 72 20 6f | 70 74 69 6f 6e 73 20 68 | other o|ptions h|
|000002d0| 61 76 65 20 62 65 65 6e | 20 61 64 64 65 64 2c 20 |ave been| added, |
|000002e0| 61 6e 64 20 72 6d 74 68 | 6d 2e 73 74 79 20 68 61 |and rmth|m.sty ha|
|000002f0| 73 0a 62 65 65 6e 20 72 | 65 6e 61 6d 65 64 20 69 |s.been r|enamed i|
|00000300| 6e 74 6f 20 6e 65 77 74 | 68 6d 2e 73 74 79 2e 0a |nto newt|hm.sty..|
|00000310| 44 6f 63 75 6d 65 6e 74 | 61 74 69 6f 6e 20 69 73 |Document|ation is|
|00000320| 20 63 6f 6e 74 61 69 6e | 65 64 20 69 6e 20 74 68 | contain|ed in th|
|00000330| 65 20 66 69 6c 65 2e 0a | 2a 2a 2a 20 41 72 63 68 |e file..|*** Arch|
|00000340| 69 76 65 20 61 64 6d 69 | 6e 69 73 74 72 61 74 6f |ive admi|nistrato|
|00000350| 72 73 3a 20 50 6c 65 61 | 73 65 20 72 65 70 6c 61 |rs: Plea|se repla|
|00000360| 63 65 20 72 6d 74 68 6d | 2e 73 74 79 20 62 79 20 |ce rmthm|.sty by |
|00000370| 74 68 69 73 20 66 69 6c | 65 2e 20 2a 2a 2a 0a 0a |this fil|e. ***..|
|00000380| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 20 |--------|------- |
|00000390| 38 3c 20 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |8< -----|--------|
|000003a0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|000003b0| 2d 0a 25 25 25 20 3d 3d | 3d 3d 3d 3d 3d 3d 3d 3d |-.%%% ==|========|
|000003c0| 3d 3d 3d 3d 3d 3d 3d 3d | 3d 3d 3d 3d 3d 3d 3d 3d |========|========|
|000003d0| 3d 3d 3d 3d 3d 3d 3d 3d | 3d 3d 3d 3d 3d 3d 3d 3d |========|========|
|000003e0| 3d 3d 3d 3d 3d 3d 3d 3d | 3d 3d 3d 3d 3d 3d 3d 3d |========|========|
|000003f0| 3d 3d 3d 3d 3d 3d 3d 3d | 3d 3d 0a 25 25 25 20 20 |========|==.%%% |
|00000400| 40 4c 61 54 65 58 2d 73 | 74 79 6c 65 2d 66 69 6c |@LaTeX-s|tyle-fil|
|00000410| 65 7b 0a 25 25 25 20 20 | 20 20 20 61 75 74 68 6f |e{.%%% | autho|
|00000420| 72 20 20 20 20 20 20 20 | 20 20 20 3d 20 22 4e 69 |r | = "Ni|
|00000430| 63 6f 20 56 65 72 77 65 | 72 22 2c 0a 25 25 25 20 |co Verwe|r",.%%% |
|00000440| 20 20 20 20 76 65 72 73 | 69 6f 6e 20 20 20 20 20 | vers|ion |
|00000450| 20 20 20 20 3d 20 22 31 | 2e 33 22 2c 0a 25 25 25 | = "1|.3",.%%%|
|00000460| 20 20 20 20 20 64 61 74 | 65 20 20 20 20 20 20 20 | dat|e |
|00000470| 20 20 20 20 20 3d 20 22 | 32 37 20 4a 61 6e 75 61 | = "|27 Janua|
|00000480| 72 79 20 31 39 39 33 22 | 2c 0a 25 25 25 20 20 20 |ry 1993"|,.%%% |
|00000490| 20 20 66 69 6c 65 6e 61 | 6d 65 20 20 20 20 20 20 | filena|me |
|000004a0| 20 20 3d 20 22 6e 65 77 | 74 68 6d 2e 73 74 79 22 | = "new|thm.sty"|
|000004b0| 2c 0a 25 25 25 20 20 20 | 20 20 61 64 64 72 65 73 |,.%%% | addres|
|000004c0| 73 20 20 20 20 20 20 20 | 20 20 3d 20 22 44 65 70 |s | = "Dep|
|000004d0| 74 2e 20 6f 66 20 43 6f | 6d 70 75 74 65 72 20 53 |t. of Co|mputer S|
|000004e0| 63 69 65 6e 63 65 0a 25 | 25 25 20 20 20 20 20 20 |cience.%|%% |
|000004f0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00000500| 20 20 52 69 6a 6b 73 75 | 6e 69 76 65 72 73 69 74 | Rijksu|niversit|
|00000510| 65 69 74 20 74 65 20 55 | 74 72 65 63 68 74 0a 25 |eit te U|trecht.%|
|00000520| 25 25 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |%% | |
|00000530| 20 20 20 20 20 20 20 20 | 20 20 50 2e 4f 2e 20 62 | | P.O. b|
|00000540| 6f 78 20 38 30 2e 30 38 | 39 0a 25 25 25 20 20 20 |ox 80.08|9.%%% |
|00000550| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00000560| 20 20 20 20 20 33 35 30 | 38 20 54 42 20 55 74 72 | 350|8 TB Utr|
|00000570| 65 63 68 74 0a 25 25 25 | 20 20 20 20 20 20 20 20 |echt.%%%| |
|00000580| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00000590| 74 68 65 20 4e 65 74 68 | 65 72 6c 61 6e 64 73 22 |the Neth|erlands"|
|000005a0| 2c 0a 25 25 25 20 20 20 | 20 20 74 65 6c 65 70 68 |,.%%% | teleph|
|000005b0| 6f 6e 65 20 20 20 20 20 | 20 20 3d 20 22 2b 33 31 |one | = "+31|
|000005c0| 20 33 30 20 35 33 33 39 | 32 31 22 2c 0a 25 25 25 | 30 5339|21",.%%%|
|000005d0| 20 20 20 20 20 46 41 58 | 20 20 20 20 20 20 20 20 | FAX| |
|000005e0| 20 20 20 20 20 3d 20 22 | 2b 33 31 20 33 30 20 35 | = "|+31 30 5|
|000005f0| 31 33 37 39 31 22 2c 0a | 25 25 25 20 20 20 20 20 |13791",.|%%% |
|00000600| 65 6d 61 69 6c 20 20 20 | 20 20 20 20 20 20 20 20 |email | |
|00000610| 3d 20 22 6e 69 63 6f 40 | 63 73 2e 72 75 75 2e 6e |= "nico@|cs.ruu.n|
|00000620| 6c 20 28 49 6e 74 65 72 | 6e 65 74 29 22 2c 0a 25 |l (Inter|net)",.%|
|00000630| 25 25 20 20 20 20 20 63 | 6f 64 65 74 61 62 6c 65 |%% c|odetable|
|00000640| 20 20 20 20 20 20 20 3d | 20 22 49 53 4f 2f 41 53 | =| "ISO/AS|
|00000650| 43 49 49 22 2c 0a 25 25 | 25 20 20 20 20 20 6b 65 |CII",.%%|% ke|
|00000660| 79 77 6f 72 64 73 20 20 | 20 20 20 20 20 20 3d 20 |ywords | = |
|00000670| 22 4c 61 54 65 58 2c 20 | 74 68 65 6f 72 65 6d 73 |"LaTeX, |theorems|
|00000680| 22 2c 0a 25 25 25 20 20 | 20 20 20 73 75 70 70 6f |",.%%% | suppo|
|00000690| 72 74 65 64 20 20 20 20 | 20 20 20 3d 20 22 79 65 |rted | = "ye|
|000006a0| 73 22 2c 0a 25 25 25 20 | 20 20 20 20 64 6f 63 73 |s",.%%% | docs|
|000006b0| 74 72 69 6e 67 20 20 20 | 20 20 20 20 3d 20 22 4c |tring | = "L|
|000006c0| 61 54 65 58 20 64 6f 63 | 75 6d 65 6e 74 2d 73 74 |aTeX doc|ument-st|
|000006d0| 79 6c 65 20 6f 70 74 69 | 6f 6e 20 66 6f 72 20 63 |yle opti|on for c|
|000006e0| 75 73 74 6f 6d 69 7a 69 | 6e 67 0a 25 25 25 20 20 |ustomizi|ng.%%% |
|000006f0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00000700| 20 20 20 20 20 20 74 68 | 65 6f 72 65 6d 2d 6c 69 | th|eorem-li|
|00000710| 6b 65 20 65 6e 76 69 72 | 6f 6e 6d 65 6e 74 73 2e |ke envir|onments.|
|00000720| 0a 25 25 25 20 20 20 20 | 20 20 20 20 20 20 20 20 |.%%% | |
|00000730| 20 20 20 20 20 20 20 20 | 20 20 20 20 53 75 63 63 | | Succ|
|00000740| 65 73 73 6f 72 20 6f 66 | 20 72 6d 74 68 6d 2e 73 |essor of| rmthm.s|
|00000750| 74 79 2e 22 2c 0a 25 25 | 25 20 20 7d 0a 25 25 25 |ty.",.%%|% }.%%%|
|00000760| 20 3d 3d 3d 3d 3d 3d 3d | 3d 3d 3d 3d 3d 3d 3d 3d | =======|========|
|00000770| 3d 3d 3d 3d 3d 3d 3d 3d | 3d 3d 3d 3d 3d 3d 3d 3d |========|========|
|00000780| 3d 3d 3d 3d 3d 3d 3d 3d | 3d 3d 3d 3d 3d 3d 3d 3d |========|========|
|00000790| 3d 3d 3d 3d 3d 3d 3d 3d | 3d 3d 3d 3d 3d 3d 3d 3d |========|========|
|000007a0| 3d 3d 3d 3d 3d 0a 25 20 | 48 6f 77 20 74 6f 20 63 |=====.% |How to c|
|000007b0| 75 73 74 6f 6d 69 7a 65 | 20 74 68 65 20 74 68 65 |ustomize| the the|
|000007c0| 6f 72 65 6d 2d 6c 69 6b | 65 20 65 6e 76 69 72 6f |orem-lik|e enviro|
|000007d0| 6e 6d 65 6e 74 73 20 74 | 68 61 74 20 79 6f 75 20 |nments t|hat you |
|000007e0| 64 65 66 69 6e 65 20 77 | 69 74 68 0a 25 20 5c 6e |define w|ith.% \n|
|000007f0| 65 77 74 68 65 6f 72 65 | 6d 20 28 4c 61 54 65 58 |ewtheore|m (LaTeX|
|00000800| 20 62 6f 6f 6b 20 70 2e | 20 35 38 29 2e 0a 25 20 | book p.| 58)..% |
|00000810| 31 2e 20 5c 72 65 6e 65 | 77 63 6f 6d 6d 61 6e 64 |1. \rene|wcommand|
|00000820| 7b 5c 74 68 65 6f 72 65 | 6d 73 74 79 6c 65 7d 7b |{\theore|mstyle}{|
|00000830| 2e 2e 2e 7d 0a 25 20 20 | 20 20 43 68 61 6e 67 65 |...}.% | Change|
|00000840| 73 20 74 68 65 20 73 74 | 79 6c 65 20 69 6e 20 77 |s the st|yle in w|
|00000850| 68 69 63 68 20 79 6f 75 | 72 20 5c 6e 65 77 74 68 |hich you|r \newth|
|00000860| 65 6f 72 65 6d 73 20 61 | 72 65 20 74 79 70 65 73 |eorems a|re types|
|00000870| 65 74 2e 0a 25 20 20 20 | 20 44 65 66 61 75 6c 74 |et..% | Default|
|00000880| 20 69 73 20 5c 72 6d 20 | 28 5c 69 74 20 69 6e 20 | is \rm |(\it in |
|00000890| 4c 61 54 65 58 29 2e 0a | 25 20 32 2e 20 5c 72 65 |LaTeX)..|% 2. \re|
|000008a0| 6e 65 77 63 6f 6d 6d 61 | 6e 64 7b 5c 74 68 65 6f |newcomma|nd{\theo|
|000008b0| 72 65 6d 6f 70 65 6e 69 | 6e 67 7d 5b 32 5d 7b 2e |remopeni|ng}[2]{.|
|000008c0| 2e 2e 7d 0a 25 20 20 20 | 20 5c 72 65 6e 65 77 63 |..}.% | \renewc|
|000008d0| 6f 6d 6d 61 6e 64 7b 5c | 6e 61 6d 65 64 74 68 65 |ommand{\|namedthe|
|000008e0| 6f 72 65 6d 6f 70 65 6e | 69 6e 67 7d 5b 33 5d 7b |oremopen|ing}[3]{|
|000008f0| 2e 2e 2e 7d 0a 25 20 20 | 20 20 54 68 65 20 66 69 |...}.% | The fi|
|00000900| 72 73 74 20 76 61 72 69 | 61 6e 74 20 64 65 66 69 |rst vari|ant defi|
|00000910| 6e 65 73 20 74 68 65 20 | 6f 70 65 6e 69 6e 67 20 |nes the |opening |
|00000920| 6f 66 20 74 68 65 20 74 | 68 65 6f 72 65 6d 2e 0a |of the t|heorem..|
|00000930| 25 20 20 20 20 49 74 73 | 20 61 72 67 75 6d 65 6e |% Its| argumen|
|00000940| 74 73 20 61 72 65 20 23 | 31 20 3a 20 74 68 65 6f |ts are #|1 : theo|
|00000950| 72 65 6d 20 6c 61 62 65 | 6c 2c 20 23 32 20 3a 20 |rem labe|l, #2 : |
|00000960| 6e 75 6d 62 65 72 2e 0a | 25 20 20 20 20 54 68 65 |number..|% The|
|00000970| 20 73 65 63 6f 6e 64 20 | 76 61 72 69 61 6e 74 20 | second |variant |
|00000980| 64 65 66 69 6e 65 73 20 | 74 68 65 20 6f 70 65 6e |defines |the open|
|00000990| 69 6e 67 20 69 6e 20 74 | 68 65 20 70 72 65 73 65 |ing in t|he prese|
|000009a0| 6e 63 65 20 6f 66 20 61 | 6e 0a 25 20 20 20 20 6f |nce of a|n.% o|
|000009b0| 70 74 69 6f 6e 61 6c 20 | 61 72 67 75 6d 65 6e 74 |ptional |argument|
|000009c0| 20 28 6c 69 6b 65 20 5c | 62 65 67 69 6e 7b 67 75 | (like \|begin{gu|
|000009d0| 65 73 73 7d 5b 46 65 72 | 6d 61 74 5d 29 2e 0a 25 |ess}[Fer|mat])..%|
|000009e0| 20 20 20 20 49 74 73 20 | 61 72 67 75 6d 65 6e 74 | Its |argument|
|000009f0| 73 20 61 72 65 20 23 31 | 20 3a 20 74 68 65 6f 72 |s are #1| : theor|
|00000a00| 65 6d 20 6c 61 62 65 6c | 2c 20 23 32 20 3a 20 6e |em label|, #2 : n|
|00000a10| 75 6d 62 65 72 2c 20 23 | 33 20 3a 20 6e 61 6d 65 |umber, #|3 : name|
|00000a20| 2e 0a 25 20 20 20 20 44 | 65 66 61 75 6c 74 73 20 |..% D|efaults |
|00000a30| 61 72 65 20 61 73 20 69 | 6e 20 74 68 65 20 4c 61 |are as i|n the La|
|00000a40| 54 65 58 20 62 6f 6f 6b | 2e 20 0a 25 20 33 2e 20 |TeX book|. .% 3. |
|00000a50| 5c 72 65 6e 65 77 63 6f | 6d 6d 61 6e 64 7b 5c 74 |\renewco|mmand{\t|
|00000a60| 68 65 6f 72 65 6d 63 6c | 6f 73 69 6e 67 7d 7b 2e |heoremcl|osing}{.|
|00000a70| 2e 2e 7d 0a 25 20 20 20 | 20 53 70 65 63 69 66 69 |..}.% | Specifi|
|00000a80| 65 73 20 61 6e 20 65 6e | 64 2d 6f 66 2d 74 68 65 |es an en|d-of-the|
|00000a90| 6f 72 65 6d 20 6d 61 72 | 6b 65 72 2e 0a 25 20 20 |orem mar|ker..% |
|00000aa0| 20 20 44 65 66 61 75 6c | 74 20 69 73 20 61 20 62 | Defaul|t is a b|
|00000ab0| 6f 78 20 66 6c 75 73 68 | 65 64 20 72 69 67 68 74 |ox flush|ed right|
|00000ac0| 2e 0a 25 20 34 2e 20 5c | 6e 65 77 74 68 65 6f 72 |..% 4. \|newtheor|
|00000ad0| 65 6d 7b 74 68 6d 7d 5b | 6e 6f 6e 75 6d 74 68 6d |em{thm}[|nonumthm|
|00000ae0| 5d 7b 54 68 6d 7d 0a 25 | 20 20 20 20 44 65 66 69 |]{Thm}.%| Defi|
|00000af0| 6e 65 73 20 54 68 6d 20 | 74 6f 20 62 65 20 61 20 |nes Thm |to be a |
|00000b00| 74 68 65 6f 72 65 6d 2d | 6c 69 6b 65 20 65 6e 76 |theorem-|like env|
|00000b10| 69 72 6f 6e 6d 65 6e 74 | 20 74 68 61 74 20 69 73 |ironment| that is|
|00000b20| 20 6e 6f 74 20 6e 75 6d | 62 65 72 65 64 2e 0a 0a | not num|bered...|
|00000b30| 25 20 44 6f 6e 27 74 20 | 6c 6f 61 64 20 74 77 69 |% Don't |load twi|
|00000b40| 63 65 2e 0a 5c 69 66 78 | 5c 74 68 65 6f 72 65 6d |ce..\ifx|\theorem|
|00000b50| 73 74 79 6c 65 5c 75 6e | 64 65 66 69 6e 65 64 5c |style\un|defined\|
|00000b60| 65 6c 73 65 5c 65 6e 64 | 69 6e 70 75 74 5c 66 69 |else\end|input\fi|
|00000b70| 0a 0a 5c 64 65 66 5c 40 | 62 65 67 69 6e 74 68 65 |..\def\@|beginthe|
|00000b80| 6f 72 65 6d 23 31 23 32 | 7b 5c 74 68 65 6f 72 65 |orem#1#2|{\theore|
|00000b90| 6d 73 74 79 6c 65 0a 20 | 20 20 20 20 20 20 20 20 |mstyle. | |
|00000ba0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 5c 74 | | \t|
|00000bb0| 72 69 76 6c 69 73 74 5c | 69 74 65 6d 5b 5c 74 68 |rivlist\|item[\th|
|00000bc0| 65 6f 72 65 6d 6f 70 65 | 6e 69 6e 67 7b 23 31 7d |eoremope|ning{#1}|
|00000bd0| 7b 23 32 7d 5d 7d 0a 5c | 64 65 66 5c 40 6f 70 61 |{#2}]}.\|def\@opa|
|00000be0| 72 67 62 65 67 69 6e 74 | 68 65 6f 72 65 6d 23 31 |rgbegint|heorem#1|
|00000bf0| 23 32 23 33 7b 5c 74 68 | 65 6f 72 65 6d 73 74 79 |#2#3{\th|eoremsty|
|00000c00| 6c 65 20 0a 20 20 20 20 | 20 20 20 20 20 20 20 20 |le . | |
|00000c10| 20 20 20 20 20 20 20 20 | 20 20 20 5c 74 72 69 76 | | \triv|
|00000c20| 6c 69 73 74 5c 69 74 65 | 6d 5b 5c 6e 61 6d 65 64 |list\ite|m[\named|
|00000c30| 74 68 65 6f 72 65 6d 6f | 70 65 6e 69 6e 67 7b 23 |theoremo|pening{#|
|00000c40| 31 7d 7b 23 32 7d 7b 23 | 33 7d 5d 7d 0a 5c 64 65 |1}{#2}{#|3}]}.\de|
|00000c50| 66 5c 40 65 6e 64 74 68 | 65 6f 72 65 6d 7b 5c 6e |f\@endth|eorem{\n|
|00000c60| 6f 70 61 67 65 62 72 65 | 61 6b 5c 74 68 65 6f 72 |opagebre|ak\theor|
|00000c70| 65 6d 63 6c 6f 73 69 6e | 67 5c 65 6e 64 74 72 69 |emclosin|g\endtri|
|00000c80| 76 6c 69 73 74 7d 0a 0a | 25 20 44 65 66 61 75 6c |vlist}..|% Defaul|
|00000c90| 74 73 3a 0a 5c 64 65 66 | 5c 74 68 65 6f 72 65 6d |ts:.\def|\theorem|
|00000ca0| 73 74 79 6c 65 7b 5c 72 | 6d 7d 0a 5c 64 65 66 5c |style{\r|m}.\def\|
|00000cb0| 74 68 65 6f 72 65 6d 6f | 70 65 6e 69 6e 67 23 31 |theoremo|pening#1|
|00000cc0| 23 32 7b 5c 68 73 6b 69 | 70 5c 6c 61 62 65 6c 73 |#2{\hski|p\labels|
|00000cd0| 65 70 7b 5c 62 66 20 23 | 31 5c 20 23 32 7d 7d 0a |ep{\bf #|1\ #2}}.|
|00000ce0| 5c 64 65 66 5c 6e 61 6d | 65 64 74 68 65 6f 72 65 |\def\nam|edtheore|
|00000cf0| 6d 6f 70 65 6e 69 6e 67 | 23 31 23 32 23 33 7b 5c |mopening|#1#2#3{\|
|00000d00| 68 73 6b 69 70 5c 6c 61 | 62 65 6c 73 65 70 7b 5c |hskip\la|belsep{\|
|00000d10| 62 66 20 23 31 5c 20 23 | 32 5c 20 28 23 33 29 7d |bf #1\ #|2\ (#3)}|
|00000d20| 7d 0a 5c 64 65 66 5c 74 | 68 65 6f 72 65 6d 63 6c |}.\def\t|heoremcl|
|00000d30| 6f 73 69 6e 67 7b 5c 69 | 66 76 6d 6f 64 65 5c 76 |osing{\i|fvmode\v|
|00000d40| 62 6f 78 7b 24 5c 42 6f | 78 24 7d 5c 65 6c 73 65 |box{$\Bo|x$}\else|
|00000d50| 5c 6e 65 77 6c 69 6e 65 | 24 5c 42 6f 78 24 5c 70 |\newline|$\Box$\p|
|00000d60| 61 72 5c 66 69 7d 0a 0a | 5c 6e 65 77 74 68 65 6f |ar\fi}..|\newtheo|
|00000d70| 72 65 6d 7b 6e 6f 6e 75 | 6d 74 68 6d 7d 7b 5c 72 |rem{nonu|mthm}{\r|
|00000d80| 65 6c 61 78 7d 0a 5c 72 | 65 6e 65 77 63 6f 6d 6d |elax}.\r|enewcomm|
|00000d90| 61 6e 64 7b 5c 74 68 65 | 6e 6f 6e 75 6d 74 68 6d |and{\the|nonumthm|
|00000da0| 7d 7b 5c 72 65 6c 61 78 | 7d 0a 0a 5c 65 6e 64 69 |}{\relax|}..\endi|
|00000db0| 6e 70 75 74 0a 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |nput.---|--------|
|00000dc0| 2d 2d 2d 2d 20 38 3c 20 | 2d 2d 2d 2d 2d 2d 2d 2d |---- 8< |--------|
|00000dd0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00000de0| 2d 2d 2d 2d 2d 2d 0a | |------. | |
+--------+-------------------------+-------------------------+--------+--------+
