7.12.linboli.ps

是multiuser detection 这本书的习题解答, 很有用的书.

	newpath 4 copy
	4 2 roll moveto
	6 -1 roll exch lineto
	exch lineto
	exch lineto
	closepath clip
	newpath
	moveto
} def

% - endTexFig -
/endTexFig { end psf$SavedState restore } def


%%%% Additions by LA Carr to reencode Adobe fonts as TeX fonts (almost)
%%%% Based on routine in LaserWriter Cookbook
/ReEncodeForTeX
  { /newfontname exch def
    /basefontname exch def
    /TeXstr 30 string def

    /basefontdict basefontname 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

      basefontdict /MathFontName known not
        { 
	  /TeXvec basefontname TeXstr cvs (Courier) search
	    { pop pop pop TeXcourvec }
	    { pop TeXnormalvec }
	  ifelse def
          TeXvec aload pop

          TeXvec length 2 idiv
	    { newfont /Encoding get 3 1 roll put }
	  repeat
	}
      if

      newfontname newfont definefont pop
  } def

/TeXnormalvec
	[ 8#014 /fi 8#015 /fl 8#020 /dotlessi 8#022 /grave 8#023 /acute
	  8#024 /caron 8#025 /breve 8#026 /macron 8#027 /ring 8#030 /cedilla
	  8#031 /germandbls 8#032 /ae 8#033 /oe 8#034 /oslash 8#035 /AE
	  8#036 /OE 8#037 /Oslash 8#042 /quotedblright 8#074 /exclamdown
	  8#076 /questiondown 8#134 /quotedblleft 8#136 /circumflex
	  8#137 /dotaccent 8#173 /endash 8#174 /emdash 8#175 /hungarumlat
	  8#176 /tilde 8#177 /dieresis ] def
/TeXcourvec
	[ 8#016 /exclamdown 8#017 /questiondown 8#020 /dotlessi 8#022 /grave
	  8#023 /acute 8#024 /caron 8#025 /breve 8#026 /macron 8#027 /ring
	  8#030 /cedilla 8#031 /germandbls 8#032 /ae 8#033 /oe 8#034 /oslash
	  8#035 /AE 8#036 /OE 8#037 /Oslash 8#074 /less 8#076 /greater
	  8#134 /backslash 8#136 /circumflex 8#137 /underscore 8#173 /braceleft
	  8#174 /bar 8#175 /braceright 8#177 /dieresis ] def

/TeXPSmakefont {	% defines a routine for generating PS fonts, fudged!
	/TeXsize exch def findfont 
	[ TeXsize 0 0 TeXsize neg 0 0 ] makefont
} def

% 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: 712.dvi
%%Creator: dvi2ps
%%EndProlog
%%Page: 1 1 
1 @bop0
1.000000 /cmr17.300 @newfont
cmr17.300 @sf
[<C01FF000C0FFFC00E3F01F00E7800F80FF0003C0FC0001E0F80001E0F00000F0F00000F0E00000
  70E0000078E0000078C0000078C0000078C0000078C0000078000000F8000000F8000001F80000
  01F0000003F0000007E000001FE00001FFC0001FFF8000FFFF0003FFFE000FFFF8001FFFC0001F
  FC00003FC000007F0000007E0000007C000000F8000000F8000060F8000060F0000060F00000E0
  F00000E0F00000E0F00001E0780001E0780003E03C0003E03C0007E01E000FE00F003CE007C0F8
  E003FFF060007F8060> 32 51 -4 1 36] 83 @dc
[<001FC00000FFF80001F07C0007C01F000F0007801E0003C01E0003C03C0001E03C0001E07C0001
  F0780000F0F80000F8F80000F8F80000F8F80000F8F80000F8F80000F8F80000F8F80000F87800
  00F0780000F0780000F03C0001E03C0001E01E0003C01E0003C00F00078007800F0001E03C0000
  FFF800001FC000> 32 31 -2 0 32] 111 @dc
[<FFFCFFFC0FC0078007800780078007800780078007800780078007800780078007800780078007
  800780078007800780078007800780078007800780078007800780078007800780078007800780
  07800780078007800780078007800F80FF80FF800780> 16 50 -2 0 17] 108 @dc
[<003FC0FF8000FFF8FF8001F03CF80003C00EF00003C007F000078003F000078001F000078001F0
  00078001F000078000F000078000F000078000F000078000F000078000F000078000F000078000
  F000078000F000078000F000078000F000078000F000078000F000078000F000078000F0000780
  00F000078000F000078000F000078000F0000F8001F000FF801FF000FF801FF000078000F000> 40 31 -2 0 36] 117 @dc
[<003F0000FFC000F9C001E0E001E06003C07003C03003C03003C03003C03003C03003C03003C030
  03C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C000
  03C00003C00003C000FFFFE0FFFFE01FC0000FC00007C00003C00003C00001C00001C00001C000
  00C00000C00000C00000C00000C000> 24 44 -1 0 25] 116 @dc
[<FFF8FFF80FC0078007800780078007800780078007800780078007800780078007800780078007
  8007800780078007800780078007800F80FF80FF80078000000000000000000000000000000000
  0000000000000F001F801F801F801F800F00> 16 48 -2 0 17] 105 @dc
[<FFFC1FFF80FFFC1FFF800FC001F800078000F000078000F000078000F000078000F000078000F0
  00078000F000078000F000078000F000078000F000078000F000078000F000078000F000078000
  F000078000F000078000F000078000F000078000F000078000F000078000F00007C000F00007C0
  00F00007E000F00007E001F00007F001E0000FB803E000FF9E0FC000FF87FF80000781FE0000> 40 31 -2 0 36] 110 @dc
[<7FFF007FFF0007E00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C000
  03C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C000
  03C00003C00003C000FFFFC0FFFFC003C00003C00003C00003C00003C00003C00003C00003C000
  03C00003C00003C00003E00001E03801E07C00F07C00F87C007C3C001FF80007F0> 24 50 -1 0 19] 102 @dc
[<FFFF800000FFFF80000007F000000003E000000003E000000003E000000003E000000003E00000
  0003E000000003E000000003E000000003E000000003E000000003E000000003E000000003E000
  000003E000000003E000000003E000000003E000000003E000000003E000000003E000000003FF
  FFC00003FFFFF80003E000FE0003E0001F0003E0000F8003E00007C003E00003E003E00003F003
  E00001F003E00001F003E00001F803E00001F803E00001F803E00001F803E00001F803E00001F8
  03E00001F003E00001F003E00003F003E00003E003E00007C003E0000F8003E0001F0007E000FE
  00FFFFFFF800FFFFFFC000> 40 49 -4 0 45] 80 @dc
[<FFFE00FFFE000FC000078000078000078000078000078000078000078000078000078000078000
  07800007800007800007800007800007800007800007800007C00007C00007C00007E00007E07C
  07F07C0FB87CFFBC7CFF8FF80787F0> 24 31 -2 0 25] 114 @dc
[<0601FC00060FFF80071E0FC0073803E0077001F007E000F807C0007C07C0003C0780003E078000
  3E0780001E0780001F0780001F0780001F0780001F0780001F0780001F0780001F0780001F0780
  001F0780001E0780003E0780003E0780003C07C0007C07E0007807F000F807B803F0079F07E007
  87FF800781FE000780000007800000078000000780000007800000078000000780000007800000
  078000000780000007800000078000000780000007800000078000000F800000FF800000FF8000
  0007800000> 32 50 -2 0 36] 98 @dc
[<003FC00000FFF80003F83C0007E00E000F8007001F0003003E0003803E0001807C0000007C0000
  007C000000F8000000F8000000F8000000F8000000F8000000F8000000FFFFFF80FFFFFF80F800
  078078000F807C000F807C000F803C000F003E001F001E001E000F003E0007807C0003E1F80001
  FFF000003F8000> 32 31 -2 0 29] 101 @dc
[<FFFC1FFF83FFF0FFFC1FFF83FFF00FC001F8003F00078000F0001E00078000F0001E00078000F0
  001E00078000F0001E00078000F0001E00078000F0001E00078000F0001E00078000F0001E0007
  8000F0001E00078000F0001E00078000F0001E00078000F0001E00078000F0001E00078000F000
  1E00078000F0001E00078000F0001E00078000F0001E00078000F0001E00078000F0001E0007C0
  00F8001E0007C000F8001E0007E000FC001E0007E001FC003E0007F001EE003C000FB803E7007C
  00FF9E0FC3C1F800FF87FF80FFF0000781FE003FC000> 56 31 -2 0 55] 109 @dc
[<0070000000F8000000F8000000F8000000F8000000F8000000F8000000F8000000F8000000F800
  0000780000007800000078000000780000007C0000003C0000003C0000003C0000003C0000001C
  0000001E0000001E0000000E0000000E0000000700000007000000030000000380000001800000
  01C0000000E0000000600000007000000030000000380000001C00C0000C00C0000E00C0000700
  6000030060000380600001C0700000C07FFFFFE03FFFFFF03FFFFFF03FFFFFF03C000000300000
  00> 32 49 -4 1 32] 55 @dc
[<78FCFCFCFC78> 8 6 -6 0 17] 46 @dc
[<7FFFF87FFFF800FC00007800007800007800007800007800007800007800007800007800007800
  007800007800007800007800007800007800007800007800007800007800007800007800007800
  007800007800007800007800007800007800007800007800007800007800007800007800007800
  007800C07800FE78003FF80001F800007800003800001800> 24 47 -6 0 32] 49 @dc
[<FFFFFF80FFFFFF80FFFFFF807FFFFFC0380001C01C0000C00E0000C0070000C00380006001C000
  6001E0006000F0000000780000003C0000001E0000000F0000000780000003C0000003E0000001
  F0000000F80000007C0000003E0000003F0000001F0000001F8000000F8000000FC0000007C000
  0007E0000007E0780007E0FC0003E0FC0003E0FC0003E0FC0007E0F00007E0E00007E0600007C0
  70000FC030000F8038001F801C003F000E007E000783FC0003FFF000007F8000> 32 47 -3 0 32] 50 @dc
[<FFFFFFFFF0FFFFFFFFF007E0001FF003E00003F803E00000F803E000007803E000003803E00000
  3803E000001803E000001C03E000001C03E000000C03E000000C03E000000C03E000000C03E000
  000603E000C00603E000C00603E000C00003E000C00003E000C00003E001C00003E001C00003E0
  07C00003FFFFC00003FFFFC00003E007C00003E001C00003E001C00003E000C00003E000C00003
  E000C00003E000C00003E000C01803E000001803E000001803E000001803E000003003E0000030
  03E000003003E000003003E000007003E000007003E00000F003E00001F003E00003E007E0001F
  E0FFFFFFFFE0FFFFFFFFE0> 40 49 -4 0 45] 69 @dc
[<FFFFFFFF00FFFFFFFF0007E001FF0003E0003F0003E0001F0003E0000F8003E000078003E00003
  8003E000038003E000038003E000018003E000018003E000018003E000018003E00000C003E000
  00C003E00000C003E00000C003E000000003E000000003E000000003E000000003E000000003E0
  00000003E000000003E000000003E000000003E000000003E000000003E000000003E000000003
  E000000003E000000003E000000003E000000003E000000003E000000003E000000003E0000000
  03E000000003E000000003E000000003E000000003E000000003E000000003E000000007F00000
  00FFFFC00000FFFFC00000> 40 49 -4 0 41] 76 @dc
[<007F800003FFE00007C1F8001E007C001C003E0038001F0070000F8060000780E00007C0E00007
  C0F80003C0F80003E0F80003E0F80003E0780003E0000003E0000003E0000003E0000003E00000
  03E0000003C0000007C0000007C00C0007800E000F000F001F000F803E000DF07C000CFFF0000C
  1FC0000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C000000
  0C0000000C0000000DFF00000FFFE0000FFFF8000FFFFC000FFFFE000FC03F000C000300> 32 48 -3 1 32] 53 @dc
[<007F800003FFF00007C1FC000F007E001C003F0038001F8070000F8060000FC0E0000FC0F80007
  E0FC0007E0FC0007E0FC0007E0FC0007E0780007E0000007E0000007E0000007C000000FC00000
  0FC000001F8000001F0000003E0000007C000001F00000FFC00000FF80000007E0000001F80000