📄 4.30.linboli.ps
字号:
% fontname basefontname angle ObliqueFont -
% Create a General Oblique font
/ObliqueFont {
/ObliqueAngle exch def
/ObliqueBaseName exch def
/ObliqueFontName exch def
/ObliqueTransform [1 0 ObliqueAngle sin ObliqueAngle cos div 1 0 0] def
/basefontdict ObliqueBaseName findfont ObliqueTransform makefont 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 ObliqueFontName put
ObliqueFontName newfont definefont
pop
} def
% Palatino-ItalicUnslanted? You must be joking!
% fontname basename SmallCapsFont - Create a General SmallCaps font
/SmallCapsFont {
/SmallCapsBaseName exch def
/SmallCapsFontName exch def
/basefontdict SmallCapsBaseName findfont def
/newfont basefontdict maxlength 10 add dict def
newfont begin
/FontName SmallCapsFontName def
/FontBaseDict basefontdict 1000 scalefont def
/FontSCDict FontBaseDict .8 scalefont def
/FontType 3 def
/BuildChar {SmallCapChar} def
/FontMatrix dup basefontdict exch get def
/FontBBox dup basefontdict exch get def
/Encoding dup basefontdict exch get def
end
SmallCapsFontName newfont definefont pop
} def
% fontdict ch SmallCapChar -
% It shouldn't be so damn hard to do this (make one font out
% of two others) but I tried several dozen variations on this
% theme until I found something that worked. -- vj
/SmallCapChar {
/achar (A) def
achar exch 0 exch put
begin
achar 0 get dup 97 ge exch 122 le and {
% handle 'a' through 'z' specially
achar 0 achar 0 get 32 sub put
FontSCDict
} {
FontBaseDict
} ifelse
setfont achar stringwidth FontBBox setcachedevice
newpath 0 0 moveto achar show
end
} def
/MathEncodingVec [
/Gamma /Delta /Theta /Lambda /Xi /Pi /Sigma /Upsilon1
/Phi /Psi /Omega /alpha /beta /gamma /delta /epsilon
/zeta /nu /theta /iota /kappa /lambda /mu /nu
/xi /pi /rho /sigma /tau /upsilon /phi /chi
/psi /omega /epsilon /theta1 /omega1 /rho /sigma /phi1
/arrowleft /arrowleft /arrowright /arrowright
/suchthat /congruent /proportional /angle
/zero /one /two /three /four /five /six /seven
/eight /nine /period /comma /less /slash /greater /asteriskmath
/partialdiff /A /B /C /D /E /F /G
/H /I /J /K /L /M /N /O
/P /Q /R /S /T /U /V /W
/X /Y /Z /registerserif /copyrightserif /trademarkserif /logicalor /logicaland
/section /a /b /c /d /e /f /g
/h /i /j /k /l /m /n /o
/p /q /r /s /t /u /v /w
/x /y /z /dotlessi /j /weierstrass /macron /breve
] def
% the following gives the character codes of the above characters
% in their font. I.e., this is the character we have to hand "show"
% to image the characters above.
/MathCharVec [
71 68 81 76 88 80 83 161
70 89 87 97 98 103 100 101
122 110 113 105 107 108 109 110
120 112 114 115 116 117 102 99
121 119 101 74 118 114 115 106
172 172 174 174 39 64 181 208
48 49 50 51 52 53 54 55
56 57 46 44 60 47 62 42
182 65 66 67 68 69 70 71
72 73 74 75 76 77 78 79
80 81 82 83 84 85 86 87
88 89 90 210 211 212 218 217
167 97 98 99 100 101 102 103
104 105 106 107 108 109 110 111
112 113 114 115 116 117 118 119
120 121 122 245 106 195 197 198
] def
% this array tells which font dictionary holds each character above
% (0 = basefont, 1 = symbol (maybe slanted), 2 = symbol (unslanted)).
/MathDictVec [
1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1
2 2 2 2 2 2 2 2
0 0 0 0 0 0 0 0
0 0 0 0 2 2 2 2
2 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 2 2 2 2 2
2 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 2 0 0
] def
% fontname basename symbolname symbolbase angle MathOblique -
% Create a "math" font with the symbol font characters slanted
% by "angle"
/MathOblique {
3 copy ObliqueFont
pop pop MathFont
} def
% fontname basename symbolname MathFont - Create a math italic font
%
% We build this font out of the base font & the symbol font
% using an encoding vec as close as we can get to cmmi10 with
% standard postscript characters. An array parallel to the
% encoding vector tells which font dictionary to use for a
% particular character.
/MathFont {
/MathSymName exch def
/MathBaseName exch def
/MathFontName exch def
/basefontdict MathBaseName findfont def
/newfont basefontdict maxlength 10 add dict def
newfont begin
/FontName MathFontName def
/FontDictArray [
basefontdict 1000 scalefont
MathSymName findfont 950 scalefont
/Symbol findfont 950 scalefont
] def
/FontType 3 def
/BuildChar {MathFontChar} def
/FontMatrix dup basefontdict exch get def
/FontBBox dup basefontdict exch get def
% the encoding vector is a copy of the original font's
% encoding, modified "appropriately".
/Encoding dup basefontdict exch get dup length array copy def
/WhichFont MathDictVec def
/WhichChar MathCharVec def
MathEncodingVec Encoding copy pop
/achar (A) def
end
MathFontName newfont definefont pop
} def
% fontdict ch MathFontChar -
% (there's some serious magic going on here: see note on
% SmallCapChar above -- vj).
/MathFontChar {
exch begin
achar exch 0 exch put
FontDictArray WhichFont achar 0 get get get setfont
achar dup 0 get WhichChar exch get 0 exch put
achar stringwidth FontBBox setcachedevice
newpath 0 0 moveto achar show
end
} bind def
/@flushfonts { @TeXSave restore /@TeXSave save def} def
end % revert to previous dictionary
TeXDict begin @start
%%Title: 430.dvi
%%Creator: dvi2ps
%%EndProlog
%%Page: 4 1
4 @bop0
1.000000 /cmr10.300 @newfont
cmr10.300 @sf
[<FFF8FFF80700070007000700070007000700070007000700070007000700070007000700070007
0007000700C700FF003F0007000300> 16 27 -4 0 20] 49 @dc
[<FFFEFFFEFFFE700638031C030E030700038001C001E000F00078003C003E001E001F000F700FF8
0FF80FF81FF01E603E78FC3FF80FE0> 16 27 -2 0 20] 50 @dc
1.000000 /cmmi10.300 @newfont
cmmi10.300 @sf
[<0001F0000003F8000003FC000003FC0000038E0000030600000303000003010001FF010007FF80
001FC3E0003CC3F00038E63C00787E1E00703C0F00F0000700F0000780F00003C0F00003C0F000
01E0F00001E0F00001E0780000F0780000F0780000F03C0000F03C0000F01E0000F00E0000F007
0000E0078001E003C003C000F003C0007C0F80001FFE000003F800> 32 36 -2 8 32] 81 @dc
1.000000 /cmex10.300 @newfont
cmex10.300 @sf
[<0000180000380000700000E00001C00003C0000380000700000F00000E00001E00001C00003800
00380000780000700000F00000E00001E00001C00003C00003C000038000078000078000070000
0F00000F00000F00000E00001E00001E00001E00001C00003C00003C00003C00003C00003C0000
380000780000780000780000780000780000780000780000780000F00000F00000F00000F00000
F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000
F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000780000780000
7800007800007800007800007800007800003800003C00003C00003C00003C00003C00001C0000
1E00001E00001E00000E00000F00000F00000F000007000007800007800003800003C00003C000
01C00001E00000E00000F000007000007800003800003800001C00001E00000E00000F00000700
0003800003C00001C00000E0000070000038000018> 24 124 -10 122 32] 32 @dc
[<0006000000000F000000000F000000001F800000001F800000001FC00000003CC00000003CE000
000078600000007870000000F030000000F038000000F018000001E01C000001E00C000003C00E
000003C0060000078007000007800300004F00038000EF000180007F0001C0001E0000C0000E00
00E000040000600000000070000000003000000000380000000018000000001C000000000C0000
00000E000000000600000000070000000003000000000380000000018000000001C000000000C0
00000000E000000000600000000070000000003000000000380000000018000000001C00000000
0C000000000E00000000060000000006> 40 50 -4 48 41] 112 @dc
1.000000 /cmsy10.300 @newfont
cmsy10.300 @sf
[<C030C030C030C030C030C030C030C030C030C030C030C030C030C030C030C030C030C030C030C0
30C030C030C030C030C030C030C030C030C030C030C030C030C030C030C030C030C030C030C030
C030C030C030> 16 42 -4 11 20] 107 @dc
cmmi10.300 @sf
[<7C7C00FFFF00E7C780F781C0F380C0F3C0E073C0E001C00001C00001E00001E00000E3C0C0E3C0
E0F3C070F1C038F9C03FDFC00F8F80> 24 18 -2 0 23] 120 @dc
1.000000 /cmr7.300 @newfont
cmr7.300 @sf
[<FFE0FFE00E000E000E000E000E000E000E000E000E000E000E000E000E00EE00FE001E000600> 16 19 -3 0 16] 49 @dc
cmr10.300 @sf
[<01C00380038007000E000C001C001800380038007000700070007000E000E000E000E000E000E0
00E000E000E000E000E000E000E000E00070007000700070003800380018001C000C000E000700
0380038001C0> 16 42 -3 11 16] 40 @dc
cmmi10.300 @sf
[<0F803FC03CE0387038303C383C381C001C001E001E000E000E000F000F000700FFF0FFF0078003
80038003C003C001C001C001C0> 16 26 0 0 14] 116 @dc
cmr10.300 @sf
[<E0007000700038001C000C000E00060007000700038003800380038001C001C001C001C001C001
C001C001C001C001C001C001C001C001C003800380038003800700070006000E000C001C003800
70007000E000> 16 42 -2 11 16] 41 @dc
cmr7.300 @sf
[<FFE0FFE0FFE078703C301E300F00078003C001E000E000700070E070E070E0F0E1E07FC01F80> 16 19 -2 0 16] 50 @dc
cmr10.300 @sf
[<000600000006000000060000000600000006000000060000000600000006000000060000000600
00000600000006000000060000FFFFFFE0FFFFFFE0000600000006000000060000000600000006
00000006000000060000000600000006000000060000000600000006000000060000> 32 28 -2 4 32] 43 @dc
cmr7.300 @sf
[<1FC07FF0F078E03CE01CE01C001C003C00780FE00FE000F0007800387038703870787FF01FC0> 16 19 -1 0 16] 51 @dc
cmsy10.300 @sf
[<FFFFFF80FFFFFF80> 32 2 -3 -9 32] 0 @dc
cmmi10.300 @sf
[<000001800000078000001F0000007C000001F0000007C000001F0000007C000001F0000007C000
001F0000007C000000F0000000F00000007C0000001F00000007C0000001F00000007C0000001F
00000007C0000001F00000007C0000001F800000078000000180> 32 26 -3 3 32] 60 @dc
[<60E070303818181878F8F8F870> 8 13 -3 8 11] 59 @dc
[<C0000000F0000000FC0000001F00000007C0000001F00000007C0000001F00000007C0000001F0
0000007C0000001F00000007800000078000001F0000007C000001F0000007C000001F0000007C
000001F0000007C000001F0000007C000000F000000080000000> 32 26 -3 3 32] 62 @dc
[<1F80003FE00078F800F03C00E01C00E00E00E00F00E00700E00700F00700700780700380380700
3C07001F0F000FFFFC07FFFC01FFFC> 24 18 -1 0 23] 27 @dc
cmex10.300 @sf
[<C00000E000007000003800001C00001E00000E000007000007800003800003C00001C00000E000
00E00000F000007000007800003800003C00001C00001E00001E00000E00000F00000F00000700
0007800007800007800003800003C00003C00003C00001C00001E00001E00001E00001E00001E0
0000E00000F00000F00000F00000F00000F00000F00000F00000F0000078000078000078000078
000078000078000078000078000078000078000078000078000078000078000078000078000078
0000780000780000780000780000780000780000780000780000780000780000780000F00000F0
0000F00000F00000F00000F00000F00000F00000E00001E00001E00001E00001E00001E00001C0
0003C00003C00003C0000380000780000780000780000700000F00000F00000E00001E00001E00
001C00003C0000380000780000700000F00000E00000E00001C00003C000038000078000070000
0E00001E00001C0000380000700000E00000C00000> 24 124 -1 122 32] 33 @dc
cmr7.300 @sf
[<07FC07FC00E000E000E000E0FFFCFFFCE0E070E030E018E01CE00EE007E003E001E001E000E0> 16 19 -1 0 16] 52 @dc
cmr10.300 @sf
[<07800007800007800007800007800007800007800007800003800003800003800003C00001C000
01C00000C00000E000006000007000003000003800C01C00C00E00C006006007007FFF807FFF80
7FFF80600000> 24 28 -2 0 20] 55 @dc
[<01C0700001C0700001C0700003E0F80003E0F80003E0F8000760CC000731CC000731CC000E318E
000E1B86000E1B86000E1B06001C1F03001C0F03003C0F0780FF3FCFE0FF3FCFE0> 32 18 -1 0 29] 119 @dc
[<FF9FF0FF9FF01C03801C03801C03801C03801C03801C03801C03801C03801C03801C03801C0380
1E03801F07801F8F801DFF001CFE001C00001C00001C00001C00001C00001C00001C00001C0000
1C0000FC0000FC0000> 24 29 -1 0 23] 104 @dc
[<07F00FF83F1C3C0E78067800F000F000F000F000FFFEFFFEF01E781E781C3E7C1FF807E0> 16 18 -1 0 18] 101 @dc
[<FFC0FFC01C001C001C001C001C001C001C001C001C001C001C001E301E781F78FFF8FDF0> 16 18 -1 0 16] 114 @dc
[<60E070303818181878F8F8F870> 8 13 -3 8 11] 44 @dc
[<1FC7807FFFC07C7E60F81E60F00E60F00E60F80E00F80E007E0E003FFE0007FE00001E00000E00
180E003C1E003C3C003FF8001FE000> 24 18 -1 0 20] 97 @dc
[<FF9FF0FF9FF01C03801C03801C03801C03801C03801C03801C03801C03801C03801C03801C0380
1E03801F07801F8F80FDFF00FCFE00> 24 18 -1 0 23] 110 @dc
[<07E3F01FFBF03E1F807C0F80780780F00380F00380F00380F00380F00380F00380F00380F80380
7803807C07803E1F801FFF8007F380000380000380000380000380000380000380000380000380
000380001F80001F80> 24 29 -1 0 23] 100 @dc
[<07F8001FFE007C0F80F807C0F003C0E001C0E001C0F003C07807C07FFF803FFF003FFC00780000
70000070000037E0003FF8003C3C00781E00781E00781E00781E00781E00781E003C3DC01FFFC0
07E7C0> 24 27 -1 9 20] 103 @dc
[<FF80FF801C001C001C001C001C001C001C001C001C001C001C001C001C001C00FC00FC00000000
0000000000000000003C007C007C007C003C00> 16 29 -1 0 11] 105 @dc
[<00E00000E00000E00001F00001F00003F800039800039800071C00070C00070C000E06000E0600
0E06001C07001C0780FF0FE0FF0FE0> 24 18 -1 0 21] 118 @dc
[<18FE001BFF801F87C01E03C01E01E01C01E01C00F01C00F01C00F01C00F01C00F01C00F01C00F0
1C01E01E03E01F87C01FFF801CFE001C00001C00001C00001C00001C00001C00001C00001C0000
1C0000FC0000FC0000> 24 29 -1 0 23] 98 @dc
[<3C00007E0000C70000F18000F1800000C00000C00000C00000E00000E00000E00001F00001F000
03F800039800039800071C00070C00070C000E06000E06000E06001C07001C0780FF0FE0FF0FE0> 24 26 -1 8 21] 121 @dc
[<07C00FE01E701C301C301C301C301C301C001C001C001C001C001C001C001C00FFE0FFE03C001C
001C000C000C000C000C000C00> 16 26 -1 0 16] 116 @dc
[<03F0000FFC001E1E00380700780780700380F003C0F003C0F003C0F003C0F003C0F003C0700380
7807803807001E1E000FFC0003F000> 24 18 -1 0 20] 111 @dc
[<07F3F00FFFF01E1F801C0F801C07801C03801C03801C03801C03801C03801C03801C03801C0380
1C03801C03801C0380FC1F80FC1F80> 24 18 -1 0 23] 117 @dc
[<0FE03FF8787C703EF01EF00FF00FF00F000F000F000F000F301E381E3C3C3FF837E03000300030
003000300030003FE03FF83FFC301C> 16 27 -2 0 20] 53 @dc
[<70F8F8F870> 8 5 -3 0 11] 46 @dc
[<FFF0FFF00F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F
000F000F000F000F000F000F00FFF0FFF0> 16 28 -1 0 14] 73 @dc
[<CFC0FFF0F8F0F078E038C038C07800F81FF07FE07FC0F800F030E030E070F0F07FF01FB0> 16 18 -1 0 16] 115 @dc
[<7FE07FE00E000E000E000E000E000E000E000E000E000E000E000E000E000E00FFE0FFE00E000E
000E000E000E000E000F1E071E079E03FE00FC> 16 29 0 0 12] 102 @dc
[<FF8FF8FF8FF81F0780070700030E00038E0001DC0000F80000780000700000F00001D80001DC00
038E00070F000F0F807F8FF07F8FF0> 24 18 0 0 21] 120 @dc
[<FF8000FF80001C00001C00001C00001C00001C00001C00001CFE001FFF801F8FC01E03C01E01E0
1C01E01C00F01C00F01C00F01C00F01C00F01C00F01C01F01C01E01E03E01F87C0FFFF80FCFE00> 24 26 -1 8 23] 112 @dc
[<07F00FF83F1C3C0E78067800F000F000F000F000F000F000780078183C3C3E3C0FFC07F8> 16 18 -1 0 18] 99 @dc
[<FF8FF8FF80FF8FF8FF801C01C01C001C01C01C001C01C01C001C01C01C001C01C01C001C01C01C
001C01C01C001C01C01C001C01C01C001C01C01C001C01C01C001E01E01C001F03F03C001F87F8
7C00FDFF9FF800FC7F07F000> 40 18 -1 0 34] 109 @dc
[<FF80FF801C001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C
001C001C001C001C001C001C001C00FC00FC00> 16 29 -1 0 11] 108 @dc
[<FF9FE0FF9FE01C0F001C1E001C1E001C3C001C7C001E78001FF0001FF0001FE0001DE0001CF000
1C78001C3C001C3E001C7FC01C7FC01C00001C00001C00001C00001C00001C00001C00001C0000
1C0000FC0000FC0000> 24 29 -1 0 21] 107 @dc
cmmi10.300 @sf
[<3F807FE0F0F0F078F038F038203C007C07F80FF81FE01F001E1C1E3E0E1E0F1E07FC01F8> 16 18 -2 0 19] 115 @dc
cmr10.300 @sf
[<FFFFFFE0FFFFFFE000000000000000000000000000000000000000000000000000000000000000
00FFFFFFE0FFFFFFE0> 32 12 -2 -4 32] 61 @dc
[<07E00FF01C38381C781E700E700EF00FF00FF00FF00FF00FF00FF00FF00FF00FF00FF00FF00FF0
0F700E700E781E381C1C380FF007E0> 16 27 -2 0 20] 48 @dc
[<01FFC001FFC0001C00001C00001C00001C00001C00001C00FFFFC0FFFFC0E01C00601C00301C00
381C00181C000C1C000E1C00071C00031C00039C0001DC0000DC00007C00007C00003C00001C00
001C00> 24 27 -1 0 20] 52 @dc
4 @bop1
cmr10.300 @sf 546 397 p 49 c
546 416 p 21 2 ru
546 454 p 50 c
cmmi10.300 @sf 571 425 p 81 c
cmex10.300 @sf 611 354 p 32 c
649 361 p 112 c
-1 r 719 2 ru
cmsy10.300 @sf 690 397 p 107 c
cmmi10.300 @sf 120 c
cmr7.300 @sf 735 403 p 49 c
cmr10.300 @sf 753 397 p 40 c
cmmi10.300 @sf 116 c
cmr10.300 @sf 41 c
cmsy10.300 @sf 107 c
cmr7.300 @sf 821 386 p 50 c
cmr10.300 @sf 849 397 p 43 c
cmsy10.300 @sf 10 r 107 c
cmmi10.300 @sf 120 c
cmr7.300 @sf 936 403 p 51 c
cmr10.300 @sf 954 397 p 40 c
cmmi10.300 @sf 116 c
cmr10.300 @sf 41 c
cmsy10.300 @sf 107 c
cmr7.300 @sf 1022 386 p 50 c
cmsy10.300 @sf 1050 397 p 0 c
cmr10.300 @sf 9 r 50 c
cmmi10.300 @sf 12 r 60 c
11 r 120 c
cmr7.300 @sf 1191 403 p 49 c
cmr10.300 @sf 1210 397 p 40 c
cmmi10.300 @sf 116 c
cmr10.300 @sf 41 c
cmmi10.300 @sf 59 c
7 r 120 c
cmr7.300 @sf 1300 403 p 51 c
cmr10.300 @sf 1318 397 p 40 c
cmmi10.300 @sf 116 c
cmr10.300 @sf 41 c
cmmi10.300 @sf 12 r 62 c
649 416 p 761 2 ru
cmr10.300 @sf 1006 454 p 50 c
cmmi10.300 @sf 27 c
cmex10.300 @sf 1414 354 p 33 c
cmr10.300 @sf 1456 425 p 43 c
546 539 p 49 c
546 558 p 21 2 ru
546 595 p 50 c
cmmi10.300 @sf 571 567 p 81 c
cmex10.300 @sf 611 496 p 32 c
649 502 p 112 c
-1 r 719 2 ru
cmsy10.300 @sf 690 538 p 107 c
cmmi10.300 @sf 120 c
cmr7.300 @sf 735 544 p 51 c
cmr10.300 @sf 753 538 p 40 c
cmmi10.300 @sf 116 c
cmr10.300 @sf 41 c
cmsy10.300 @sf 107 c
cmr7.300 @sf 821 527 p 50 c
cmr10.300 @sf 849 538 p 43 c
cmsy10.300 @sf 10 r 107 c
cmmi10.300 @sf 120 c
cmr7.300 @sf 936 544 p 52 c
cmr10.300 @sf 954 538 p 40 c
cmmi10.300 @sf 116 c
cmr10.300 @sf 41 c
cmsy10.300 @sf 107 c
cmr7.300 @sf 1022 527 p 50 c
cmsy10.300 @sf 1050 538 p 0 c
cmr10.300 @sf 9 r 50 c
cmmi10.300 @sf 12 r 60 c
11 r 120 c
cmr7.300 @sf 1191 544 p 51 c
cmr10.300 @sf 1210 538 p 40 c
cmmi10.300 @sf 116 c
cmr10.300 @sf 41 c
cmmi10.300 @sf 59 c
7 r 120 c
cmr7.300 @sf 1300 544 p 52 c
cmr10.300 @sf 1318 538 p 40 c
cmmi10.300 @sf 116 c
cmr10.300 @sf 41 c
cmmi10.300 @sf 12 r 62 c
649 557 p 761 2 ru
cmr10.300 @sf 1006 595 p 50 c
cmmi10.300 @sf 27 c
cmex10.300 @sf 1414 496 p 33 c
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -