📄 rfc1279.ps
字号:
} { pop pop } ifelse } forall newfont /FontName ObliqueFontName put ObliqueFontName newfont definefont pop } def/Times-Oblique /Times-Roman 15.5 ObliqueFont/Times-BoldOblique /Times-Bold 15 ObliqueFont%/Palatino-Oblique /Palatino-Roman 10 ObliqueFont%/Palatino-BoldOblique /Palatino-Bold 10 ObliqueFont/Times-ItalicUnslanted /Times-Italic -15.15 ObliqueFont%Create a Palatino-ItalicUnslanted font? You must be joking!%Create a General SmallCaps font/SmallCapsFont { /SmallCapsBaseName exch def /SmallCapsFontName exch def /basefontdict SmallCapsBaseName findfont def /newfont basefontdict maxlength dict def basefontdict { exch dup /FID ne { dup /Encoding eq { exch dup length array copy newfont 3 1 roll put } { exch newfont 3 1 roll put } ifelse } { pop pop } ifelse } forall newfont /FontName SmallCapsFontName put SmallCapsFontName newfont definefont pop } def/Times-SmallCaps /Times-Roman SmallCapsFont%/Palatino-SmallCaps /Palatino-Roman SmallCapsFont/SmallCapShow { % string smallcaps show /achar (A) def /xfac 0.8 def /yfac 0.8 def /xrec 1 xfac div def /yrec 1 yfac div def { dup dup 8#141 ge exch 8#172 le and { 8#40 sub achar exch 0 exch put achar xfac yfac scale show xrec yrec scale } { achar exch 0 exch put achar show } ifelse } forall} def/tempstring 100 string def % used for string conversions%%%% Additions by LA Carr to reencode Adobe fonts as TeX fonts (almost)%%%% Based on routine in LaserWriter Cookbook/MacDrwgs false def % will get set if we think the Mac LaserPrep file has been loaded % - @MacSetUp - turn-off/fix-up all the MacDraw stuff that might hurt us % we depend on 'psu' being the first procedure executed % by a Mac document. We redefine 'psu' to adjust page % translations, and to do all other the fixups required. % This stuff will not harm other included PS files/@MacSetUp { userdict /md known % if md is defined { userdict /md get type /dicttype eq % and if it is a dictionary { /MacDrwgs true def md begin % then redefine some stuff /psu % redfine psu to set origins, etc. /psu load % this procedure contains almost all the fixup code { /letter {} def % it is bad manners to execute the real /note {} def % versions of these (clears page image, etc.) /legal {} def statusdict /waittimeout 300 put /page {pop} def % no printing of pages /pyt vo neg def % x & y pixel translations /pxt ho def } concatprocs def /od % redefine od to set clipping region /od load { @setclipper } concatprocs def end } if } if } def% p1 p2 concatprocs p - concatenate procedures/concatprocs { /p2 exch cvlit def /p1 exch cvlit def /p p1 length p2 length add array def p 0 p1 putinterval p p1 length p2 putinterval p cvx } defend % revert to previous dictionarystatusdict /waittimeout 300 put% Creator: Soren-Aksel Sorensen, Dept Computer Science, UCL% Title: University College London Logo% EndComments/UCL_line { 3 1 roll lineto { rlineto } repeat } def/UCL_mline { 3 1 roll moveto { rlineto } repeat } def/UCL_mcline { 3 1 roll moveto { rlineto } repeat closepath } def/UCL_box { 2 index exch 2 index exch dup 6 index exch moveto 3 { lineto } repeat closepath stroke newpath } def/UCL_leftdome { 216 355 85 180 130 arcn 196 446 175 528 10 arcto 4 { pop } repeat 202 456 8 191 110 arcn 17 20 -6 0 0 30 202 466 3 UCL_line 7 0 0 9 211 518 2 UCL_line stroke newpath } def /UCL_rightdome { 216 355 85 0 50 arc 236 446 257 528 10 arcto 4 { pop } repeat 230 456 8 349 70 arc -17 20 6 0 0 30 230 466 3 UCL_line -7 0 0 9 221 518 2 UCL_line stroke newpath } def/UCL_support { 0 0 432 28 UCL_box 16 42 416 68 UCL_box 2 26 378 0 2 -26 23 261 3 UCL_mline -2 -10 197 -42 197 42 -2 10 19 261 4 UCL_mcline 0 -18 4 -4 0 -26 10 -16 184 0 10 16 0 26 4 4 0 18 110 289 9 UCL_mline 204 0 114 333 1 UCL_mline stroke newpath } def /UCL_domebars { 88 0 172 428 1 UCL_mline 0 75 216 353 1 UCL_mline stroke newpath 301 347 144 177 146 arcn stroke newpath 386 353 200 180 158 arcn stroke newpath 46 353 200 22 0 arcn stroke newpath 131 347 144 34 3 arcn stroke newpath } def/UCL_LargeU { newpath 6 setlinewidth 0 setgray 58 213 moveto 63 213 63 150 9 arcto 4 { pop } repeat 63 123 lineto 63 80 150 80 150 123 curveto 150 209 167 211 9 arcto 4 { pop } repeat 165 211 lineto 165 212 1 270 90 arc 127 213 lineto 127 212 1 90 270 arc 145 209 145 150 9 arcto 4 { pop } repeat 145 128 lineto 145 85 75 85 75 128 curveto 75 209 93 211 9 arcto 4 { pop } repeat 91 211 lineto 91 212 1 270 90 arc closepath gsave fill grestore stroke newpath 58 213 moveto 31 213 lineto 31 212 1 90 270 arc 47 209 47 150 9 arcto 4 { pop } repeat 47 128 lineto 47 80 150 80 150 123 curveto stroke } def/UCL_LaraeC { newpath 251 216 moveto 213 216 187 190 187 150 curveto 187 121 209 92 250 92 curveto 271 92 277 98 283 102 curveto 284 108 288 113 288 124 curveto 287 124 1 0 170 arc 281 110 266 96 250 96 curveto 218 96 201 115 201 155 curveto 201 190 218 211 254 211 curveto 266 211 275 205 285 191 curveto 286 191 1 200 0 arc 286 196 285 205 282 210 curveto 268 216 258 216 251 216 curveto closepath gsave fill grestore stroke newpath 251 216 moveto 198 216 172 190 171 150 80FE3F80FE3F803C1E001C1C001FFC00curveto stroke newpath } def/UCL_LargeL { 318 213 moveto 339 213 339 150 11 arcto 4 { pop } repeat 339 94 318 94 14 arcto 4 { pop } repeat 401 94 lineto 403 100 404 110 405 121 curveto 404 121 1 0 170 arc 390 98 308 98 42 arcto 4 { pop } repeat 350 98 350 210 12 arcto 4 { pop } repeat 350 209 366 211 11 arcto 4 { pop } repeat 366 211 lineto 366 212 1 270 90 arc closepath gsave fill grestore stroke newpath 318 213 moveto 307 213 lineto 307 212 1 90 270 arc 323 209 323 150 9 arcto 4 { pop } repeat 323 98 307 96 10 arcto 4 { pop } repeat 307 96 lineto 307 95 1 90 270 arc 404 94 lineto stroke newpath } def/UCL_logo { 4 setlinewidth UCL_leftdome UCL_rightdome UCL_domebars UCL_support UCL_LargeU UCL_LargeC UCL_LargeL } defTeXDict begin @start%%Title: domain.dvi%%Creator: dvi2ps%%EndProlog0 @bop0/cmr10.329 @newfontcmr10.329 @sf[<FFF000C0FFF001C00F0003C0060003C0060007C0060007C006000FC006001FC006001FC006003FC006007EC006007EC00600 FCC00601F8C00601F8C00603F0C00603E0C00607E0C0060FC0C0060FC0C0061F80C0063F00C0063F00C0067E00C006FC00C0 06FC00C007F800C007F800C007F001E0FFE01FFEFFE01FFE> 31 31 -1 0 34] 78 @dc[<03F8000FFE001F87003E03807C0180780000F80000F00000F00000F00000FFFF80FFFF80F00380F007807807807807003C0F 001E1E000FFC0003F000> 17 20 -1 0 20] 101 @dc[<07E00FF01F301E181E181E181E181E181E001E001E001E001E001E001E001E001E001E00FFF8FFF83E001E000E000E000600 060006000600> 13 28 -1 0 18] 116 @dc[<00E01C0000E01C0000F03C0001F03E0001F03E0001F87E0003F87F0003D87B0003D8730003CCF300078CF180078CE1800787 E1800F07E0C00F07C0C00F03C0C01E03C0E01E07C0F0FF9FF3FCFF9FF3FC> 30 20 -1 0 33] 119 @dc[<01F80007FE001E07803C03C03801C07801E07000E0F000F0F000F0F000F0F000F0F000F0F000F07000E07000E03801C03C03 C01E078007FE0001F800> 20 20 -1 0 23] 111 @dc[<FFF0FFF00F000F000F000F000F000F000F000F000F000F000F000F000F0E0F9F0F9FFFDFFFFF0F7C> 16 20 0 0 18] 114 @dc[<FFE7FCFFE7FC0F03E00F07C00F07C00F0F800F1F800F1F000FBE000FFE000FFC000FFC000F78000F3C000F1E000F0F000F07 800F07C00F0FF80F0FF80F00000F00000F00000F00000F00000F00000F00000F00000F0000FF0000FF00000F0000> 22 32 0 0 24] 107 @dc[<000600060000000E00070000000F000F0000000F000F0000001F000F8000001F801F8000001F801F8000003F801FC000003E C03EC000003EC03EC000003EC03EC000007C607C6000007C607C6000007C607C600000F830F8300000F830F8300000F830F8 300001F019F0180001F019F0180001F019F0180003E00FF00C0003E00FE00C0003E00FE00C0007C00FE0060007C007C00600 07C007C006000F800FC003000F800F8007001F800F800F80FFF8FFF83FF0FFF8FFF83FF0> 44 31 -1 0 47] 87 @dc[<FFE0FFE00F000F000F000F000F000F000F000F000F000F000F000F000F000F000F007F007F000F0000000000000000000000 00000E001F001F001F000E00> 11 31 0 0 13] 105 @dc[<FFF3FFFFF3FF0F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F80F00F80F00FC1 F0FF61E0FF3FE00F1F80> 24 20 0 0 25] 110 @dc[<03FC001FFF803E07C07801E0F000F0E00070E00070E00070F000F07803F03FFFE01FFFE03FFF803FFE003800003000003000 0037F0003FFC003E3E003C1E00780F00780F00780F00780F00780F003C1E703E3EF01FFFF007F1E0> 20 30 -1 10 23] 103 @dc[<001FF06000FFFCE001FC1FE007E007E00FC003E01F0003E01F0003E03E0003E07C0003E07C0003E07C0003E0F800FFFCF800 FFFCF8000000F8000000F8000000F8000000F8000000F8000000F80000607C0000607C0000607C0000E03E0000E01F0001E0 1F0001E00F8003E007E00FE001F81EE000FFF860001FE060> 30 31 -3 0 36] 71 @dc[<01F8FF07FEFF0F87F00F03F00F01F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00 F0FF0FF0FF0FF00F00F0> 24 20 0 0 25] 117 @dc[<FFF000FFF0000F00000F00000F00000F00000F00000F00000F00000F3F800F7FC00FE3E00F80F00F80F80F00780F007C0F00 3C0F003C0F003C0F003C0F003C0F003C0F007C0F00780F00F80F80F0FFE1F0FFFFE00F1F80> 22 29 0 9 25] 112 @dc[<FFFE03F8FFFE0FFC07C01F8E07C03F0607C03E0607C03E0007C03E0007C03E0007C03E0007C03E0007C03E0007C03E0007C0 7E0007C07C0007C0F80007FFF00007FFF80007C07C0007C01E0007C01F0007C00F0007C00F8007C00F8007C00F8007C00F80 07C00F0007C01F0007C01E0007C07C00FFFFF800FFFFC000> 31 31 -1 0 33] 82 @dc[<003FFC003FFC0003C00003C00003C00003C00003C00003C00003C007E3C01FFBC03E1FC03C0FC07C07C07803C0F803C0F003 C0F003C0F003C0F003C0F003C0F003C0F803C07803C07C07C03C0FC01F1DC00FF9C007F0C0> 22 29 -2 9 24] 113 @dc[<CFC0FFE0F8F0F078E038C038C07800F807F83FF07FF07FC0FF00F000E030E030E07070F07FF01FB0> 13 20 -2 0 18] 115 @dc[<FFF000FFF0000F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F00 000F0000FFF000FFF0000F00000F00000F00000F00000F00000F00000F0F800F8F8007CF8003EF8001FF00007E00> 17 32 0 0 14] 102 @dc[<001FE00000FFF80003F83C0007E00E000F8007001F0003801E0001803E0001C07C0000C07C0000C07C0000C0F8000000F800 0000F8000000F8000000F8000000F8000000F8000000F8000000F80000C07C0000C07C0000C07C0001C03E0001C01E0003C0 1F0003C00F8007C007E00FC003F83DC000FFF8C0001FC0C0> 26 31 -3 0 33] 67 @dc[<FFF3FF9FFCFFF3FF9FFC0F007803C00F007803C00F007803C00F007803C00F007803C00F007803C00F007803C00F007803C0 0F007803C00F007803C00F007803C00F007803C00F807C03C00F807C03C00FC0FE07C0FF71F38F80FF3FF1FF800F1FC0FE00> 38 20 0 0 39] 109 @dc[<7FFF7FFF03C003C003C003C003C003C003C003C003C003C003C003C003C003C003C003C003C003C003C003C003C003C0F3C0 FFC00FC001C000C0> 16 29 -3 0 23] 49 @dc[<FFFF80FFFF80FFFF807FFF803801C01C00C00E00C00780C003C00001E00000F000007800003C00003E00001F00000F80000F 800007C00007C03007C0FC03C0FC07C0FC07C0FC07C0F80F80701F80783F001FFE0007F000> 18 29 -2 0 23] 50 @dc[<03800007C00007C00007C00007C00007C00007C00007C00007C00003C00003C00003C00003C00001C00001E00000E00000E0 00006000007000003800001800C01C00C00E00C00600E007007FFF807FFFC07FFFC07FFFC0600000> 18 30 -3 0 23] 55 @dc[<0FC0003FF000787C007C1C007C0E007C0F007C07000007800007800003800183C00FF3C01FFBC03C1FC0780FC07007C0F007 C0F003C0F003C0F003C0F003C0F00380F003807007807807003C0F001E1E000FFC0003F000> 18 29 -2 0 23] 57 @dc[<C3F800EFFE00FE1F00F80780F00780E00380C003C0C003C0C003C00003C00007C00007C0001FC000FF800FFF801FFF003FFE 007FFC007FE000FE0000FC0000F80000F00180F00180F00380F00380780780780F803C3F801FFF8007F180> 18 31 -3 0 25] 83 @dc[<70F8F8F870> 5 5 -4 0 13] 46 @dc[<FFFFFFC0FFFFFFC007C007C007C001E007C000E007C000E007C0006007C0006007C0006007C0003007C0603007C0603007C0 600007C0600007C0E00007FFE00007FFE00007C0E00007C0600007C0600007C060C007C060C007C000C007C000C007C001C0 07C0018007C0018007C0038007C00F80FFFFFF80FFFFFF80> 28 31 -1 0 31] 69 @dc[<FFFC7FFEFFFC7FFE07C007C007C007C007C007C007C007C007C007C007C007C007C007C007C007C007C007C007C007C007C0 07C007C007C007C007C007FFFFC007FFFFC007C007C007C007C007C007C007C007C007C007C007C007C007C007C007C007C0 07C007C007C007C007C007C007C007C0FFFC7FFEFFFC7FFE> 31 31 -1 0 34] 72 @dc[<1F83C03FE7E07C7FF0F81F30F01F30F00F30F00F30F80F007C0F003E0F000FCF0003FF00000F00000F00380F007C1F007C1E 007C7E007FFC001FF000> 20 20 -2 0 23] 97 @dc[<07E3FC1FFBFC3E1FC03C0FC07807C07803C0F003C0F003C0F003C0F003C0F003C0F003C0F003C0F003C07803C07803C03C07 C01E1FC00FFFC007F3C00003C00003C00003C00003C00003C00003C00003C00003C00003C0003FC0003FC00003C0> 22 32 -2 0 25] 100 @dc[<03F00FFC1F0E3E077C037800F800F000F000F000F000F000F000F000781C783E3C3E1E3E0FFE03F8> 16 20 -2 0 20] 99 @dc[<FFF0FFF00F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F00 0F000F000F000F00FF00FF000F00> 12 32 0 0 13] 108 @dc[<FFC0FFC0FFC0> 10 3 -1 -9 15] 45 @dc[<FFFE3FFEFFFE3FFE07C00FF007C007E007C00FC007C00F8007C01F8007C03F0007C03F0007C07E0007C07C0007C0FC0007E1 F80007F1F80007FBF00007DFE00007CFE00007C7C00007C3C00007C1C00007C0E00007C0700007C0780007C03C0007C01E00 07C00F0007C0078007C003C007C003F0FFFE0FFEFFFE0FFE> 31 31 -1 0 35] 75 @dc[<000FF000003FFC00007C1E0000F0070001E0038003E0018003C0018007C001C007C000C007C000C007C000C007C000C007C0 00C007C000C007C000C007C000C007C000C007C000C007C000C007C000C007C000C007C0p3C007C000C007C000C007C000C0 07C000C007C000C007C000C007C001E0FFFE1FFEFFFE1FFE> 31 31 -1 0 34] 85 @dc[<00700000700000700000F80000F80001FC0001EC0001EC0003EE0003C60003C6000783000783000783000F01800F01800F01 C01F03E0FFC7F8FFC7F8> 21 20 -1 0 24] 118 @dc[<3C00007F0000E38000C18000F8C00070C00000600000600000600000700000700000700000F80000F80001FC0001EC0001EC 0003EE0003C60003C6000783000783000783000F01800F01800F01C01F03E0FFC7F8FFC7F8> 21 29 -1 9 24] 121 @dc[<FFFFFEFFFFFE07C07E07C01E07C00E07C00607C00707C00707C00307C00307C00307C00307C00007C00007C00007C00007C0 0007C00007C00007C00007C00007C00007C00007C00007C00007C00007C00007C00007C000FFFF00FFFF00> 24 31 -1 0 28] 76 @dc[<0C3F800E7FC00FE1E00F80F00F80780F00780F003C0F003C0F003C0F003C0F003C0F003C0F003C0F003C0F00780F00780F80 F00FE1F00FFFE00F1F800F00000F00000F00000F00000F00000F00000F00000F00000F0000FF0000FF00000F0000> 22 32 0 0 25] 98 @dc/cmr10.432 @newfontcmr10.432 @sf[<FFFE007FFFC0FFFE007FFFC00FF8001FF80001F0000FF00000E0000FE0000060001FC0000030001FC0000038003F80000018 003F0000001C007F0000000E00FE0000000600FC0000000701FC0000000303F80000000183F800000001C7F000000000C7E0 000000006FE0000000007FC0000000003F80000000003F80000000007F00000000007F0000000000FE0000000000FF000000 0001FF0000000003FB8000000003F18000000007F0C00000000FE0E00000000FE0600000001FC0300000001F80380000003F 80180000007F000C0000007E000E000000FE000F000001FC000F800003FF001FE0007FFFC0FFFE007FFFC0FFFE00> 42 41 -1 0 45] 88 @dc[<7CFEFEFEFEFE7C> 7 7 -5 0 17] 46 @dc[<01FC0007FF801F0FC03C03E03801F07000F86000F8E000FCFC007CFC007EFC007EFC007EFC007E78007E00007E00007E0000 7E00007C00007C0000FC1800F81C00F81E01F01F87E01BFF8018FE0018000018000018000018000018000018000018000019⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -