1%TGIF 4.1.46-QPL
2state(0,37,100.000,0,0,0,16,1,9,1,1,0,0,1,0,1,0,'Courier',0,80640,0,0,0,10,0,0,1,1,0,16,0,0,1,1,1,1,1088,1408,1,0,2880,0).
3%
4% @(#)$Header: /mm2/home/cvs/bc-src/tgif/eq4xpm-land.sym,v 1.1 2009/07/06 20:10:36 william Exp $
5% %W%
6%
7unit("1 pixel/pixel").
8color_info(13,65535,0,[
9	"magenta", 65535, 0, 65535, 65535, 0, 65535, 1,
10	"red", 65535, 0, 0, 65535, 0, 0, 1,
11	"green", 0, 65535, 0, 0, 65535, 0, 1,
12	"blue", 0, 0, 65535, 0, 0, 65535, 1,
13	"yellow", 65535, 65535, 0, 65535, 65535, 0, 1,
14	"pink", 65535, 49344, 52171, 65535, 49344, 52171, 1,
15	"cyan", 0, 65535, 65535, 0, 65535, 65535, 1,
16	"CadetBlue", 24415, 40606, 41120, 24415, 40606, 41120, 1,
17	"white", 65535, 65535, 65535, 65535, 65535, 65535, 1,
18	"black", 0, 0, 0, 0, 0, 0, 1,
19	"DarkSlateGray", 12079, 20303, 20303, 12079, 20303, 20303, 1,
20	"#0000ff", 0, 0, 65535, 0, 0, 65280, 1,
21	"#ff00ff", 65535, 0, 65535, 65280, 0, 65280, 1
22]).
23script_frac("0.6").
24fg_bg_colors('black','white').
25dont_reencode("FFDingbests:ZapfDingbats").
26objshadow_info('#c0c0c0',2,2).
27page(1,"",1,'').
28sym([
29polygon('yellow','',5,[
30	128,134,192,134,192,118,128,118,128,134],0,1,0,0,15817,0,0,0,0,0,'1',0,
31    "00",[
32]),
33xpm('black','',128,118,328,158,0,8,1,0,16136,0,200,40,0,0,0,0,0,0,[
34   " ", "black", 0, 0, 0,
35   ".", "black", 0, 0, 0,
36   "X", "black", 0, 0, 0,
37   "o", "black", 0, 0, 0,
38   "O", "black", 0, 0, 0,
39   "+", "black", 0, 0, 0,
40   "@", "black", 0, 0, 0,
41   "#", "None", 0, 0, 0],[
42   "########################################################################################################################################################################################################",
43   "###########################################################################################################################################################################################      #######",
44   "#########################################################################################################################################################################################         ######",
45   "#########################################################################################################################################################################################  ####    #####",
46   "########################################################################################################################################################################################  ######    ####",
47   "########################################################################################################################################################################################   ######   ####",
48   "########################################################################################################################################################################################    #####   ####",
49   "########################################################################################################################################################################################    #####   ####",
50   "############# ### ### ### # ## ###############################################################################      ####################      #########################        #####  ### ######    ####",
51   "##########                       ############################################################################         #################        #####################             ###  ##########   #####",
52   "##########                       ############################################################################         ################         ###################      ######    #   ##########   #####",
53   "#############     ###########    ###############################################################################      ###############      ######################     ##########      #########   ######",
54   "#############    #############   ###############################################################################      ###############      #####################    ############     #########   #######",
55   "#############    #############   ###############################################################################      ##############      #####################    ##############    ########   ########",
56   "############     ##############  ###############################################################################      ##############      ####################    ###############    #######   #########",
57   "############     ##############  ##############################################################################       #############  #    ###################    ################    ######   ####  ####",
58   "############    ##############   ##############################################################################  #     ###########  ##    ##################     #################   #####   #####  ####",
59   "############    #######  #####  ###############################################################################  ##    ###########  #    ##################     ##################  ######  ######  ####",
60   "###########     #######  ###### ###############################################################################  ##    ##########  ##    ##################    ###################  #####           ####",
61   "###########     #######  #####################################################################################   ##    #########   ##    #################     ##################   ####            ####",
62   "###########    #######   #####################################################################################  ###    #########  ###    #################     #########################           #####",
63   "###########     # #     ######################################################################################  ###    ########  ###    #################     ##########################################",
64   "###########             ##############################                           #############################  ###    #######   ###    #################     ##########################################",
65   "##########              ##############################                           ############################   ###    #######  ####    #################     ##########################################",
66   "##########    #######   ###############################  #  #  #  #  #  # #  #  #############################  ####    ######  #####    #################     ##########################################",
67   "##########    #######  ######################################################################################  #####    #####  ####    ##################    ###########################################",
68   "#########     #######  ####### ##############################################################################  #####    ####  #####    #################     ###########################################",
69   "#########     #######  ######  #############################################################################   #####    ###   #####    ##################    ###################  ######################",
70   "#########    ###############   #############################################################################  ######    ###  ######    ##################    ##################  #######################",
71   "#########    ###############  #########################                         ############################  ######    ##  ######    ###################    ##################  #######################",
72   "#########    ##############   ########################                           ###########################  ######    #   ######    ###################    #################   #######################",
73   "########     ##############  ##########################                          ##########################   ######    #  #######    ###################     ################  ########################",
74   "########    ##############   ##############################################################################  ########     ########    ####################    ###############  #########################",
75   "########    #############    ##############################################################################  ########     #######    #####################     #############  ##########################",
76   "#######     ############    ##############################################################################   ########    ########    ######################     ##########   ###########################",
77   "######      # # # #         ############################################################################       ######   #######      # #####################     #######    ############################",
78   "###                        ###########################################################################          #####   #####           #####################              #############################",
79   "####                       ############################################################################         ###### ######           #######################          ###############################",
80   "###################################################################################################################################################################  ###################################",
81   "########################################################################################################################################################################################################"],[
82])
83],
8415816,0,0,[
85attr("ecmd=", "", 0, 1, 1,
86text('blue',224,434,6,0,1,1215,90,15834,12,3,0,0,0,0,2,1215,90,0,0,"",0,0,0,0,446,'',[
87minilines(1215,90,0,0,0,0,0,[
88mini_line(45,12,3,0,0,0,[
89str_block(0,45,12,3,0,-1,0,0,0,[
90str_seg('blue','Courier',0,80640,45,12,3,0,-1,0,0,0,0,0,
91	"ecmd=")])
92]),
93mini_line(108,12,3,0,0,0,[
94str_block(0,108,12,3,0,-4,0,0,0,[
95str_seg('blue','Courier',0,80640,108,12,3,0,-4,0,0,0,0,0,
96	"    cd /tmp;")])
97]),
98mini_line(459,12,3,0,0,0,[
99str_block(0,459,12,3,0,-4,0,0,0,[
100str_seg('blue','Courier',0,80640,459,12,3,0,-4,0,0,0,0,0,
101	"    xterm -geom 80x8+300+100 -e latex $(file_name);")])
102]),
103mini_line(711,12,3,0,0,0,[
104str_block(0,711,12,3,0,-4,0,0,0,[
105str_seg('blue','Courier',0,80640,711,12,3,0,-4,0,0,0,0,0,
106	"    xterm -geom 80x8+300+100 -e dvips -E -n 1 -o $(file_name).eps $(file_name);")])
107]),
108mini_line(1215,12,3,0,0,0,[
109str_block(0,1215,12,3,0,-4,0,0,0,[
110str_seg('blue','Courier',0,80640,1215,12,3,0,-4,0,0,0,0,0,
111	"    xterm -geom 80x8+300+100 -e convert -geometry $(geometry) -density $(density) -colors $(colors) $(file_name).eps  $(file_name).ppm;")])
112]),
113mini_line(369,12,3,0,0,0,[
114str_block(0,369,12,3,0,-4,0,0,0,[
115str_seg('blue','Courier',0,80640,369,12,3,0,-4,0,0,0,0,0,
116	"    xv -geometry +50+50 $(file_name).ppm;")])
117])
118])])),
119attr("eq=", "", 0, 1, 1,
120text('blue',224,83,5,0,1,135,75,15833,12,3,0,0,0,0,2,135,75,0,0,"",0,0,0,0,95,'',[
121minilines(135,75,0,0,0,0,0,[
122mini_line(27,12,3,0,0,0,[
123str_block(0,27,12,3,0,-1,0,0,0,[
124str_seg('blue','Courier',0,80640,27,12,3,0,-1,0,0,0,0,0,
125	"eq=")])
126]),
127mini_line(54,12,3,0,0,0,[
128str_block(0,54,12,3,0,-1,0,0,0,[
129str_seg('blue','Courier',0,80640,54,12,3,0,-1,0,0,0,0,0,
130	"\\LARGE")])
131]),
132mini_line(18,12,3,0,0,0,[
133str_block(0,18,12,3,0,-3,0,0,0,[
134str_seg('blue','Courier',0,80640,18,12,3,0,-3,0,0,0,0,0,
135	"\\[")])
136]),
137mini_line(135,12,3,0,0,0,[
138str_block(0,135,12,3,0,-3,0,0,0,[
139str_seg('blue','Courier',0,80640,135,12,3,0,-3,0,0,0,0,0,
140	"   E\\,=\\,M\\,C^2")])
141]),
142mini_line(18,12,3,0,0,0,[
143str_block(0,18,12,3,0,-4,0,0,0,[
144str_seg('blue','Courier',0,80640,18,12,3,0,-4,0,0,0,0,0,
145	"\\]")])
146])
147])])),
148attr("file_name=", "/tmp/TgiffAG8nM", 0, 1, 1,
149text('blue',225,924,1,0,1,225,15,15832,12,3,0,0,0,0,2,225,15,0,0,"",0,0,0,0,936,'',[
150minilines(225,15,0,0,0,0,0,[
151mini_line(225,12,3,0,0,0,[
152str_block(0,225,12,3,0,0,0,0,0,[
153str_seg('blue','Courier',0,80640,225,12,3,0,0,0,0,0,0,0,
154	"file_name=/tmp/TgiffAG8nM")])
155])
156])])),
157attr("cleanup=", "", 0, 1, 1,
158text('blue',226,629,4,0,1,540,60,15831,12,3,0,0,0,0,2,540,60,0,0,"",0,0,0,0,641,'',[
159minilines(540,60,0,0,0,0,0,[
160mini_line(72,12,3,0,0,0,[
161str_block(0,72,12,3,0,-1,0,0,0,[
162str_seg('blue','Courier',0,80640,72,12,3,0,-1,0,0,0,0,0,
163	"cleanup=")])
164]),
165mini_line(540,12,3,0,0,0,[
166str_block(0,540,12,3,0,-2,0,0,0,[
167str_seg('blue','Courier',0,80640,540,12,3,0,-2,0,0,0,0,0,
168	"    rm -f $(file_name).tex $(file_name).aux $(file_name).dvi")])
169]),
170mini_line(513,12,3,0,0,0,[
171str_block(0,513,12,3,0,-2,0,0,0,[
172str_seg('blue','Courier',0,80640,513,12,3,0,-2,0,0,0,0,0,
173	"        $(file_name).log $(file_name).ps $(file_name).eps")])
174]),
175mini_line(522,12,3,0,0,0,[
176str_block(0,522,12,3,0,-1,0,0,0,[
177str_seg('blue','Courier',0,80640,522,12,3,0,-1,0,0,0,0,0,
178	"        $(file_name).ppm $(file_name).xpm $(file_name).gif")])
179])
180])])),
181attr("exec=", "", 0, 1, 1,
182text('blue',225,164,14,0,1,477,210,15830,12,3,0,0,0,0,2,477,210,0,0,"",0,0,0,0,176,'',[
183minilines(477,210,0,0,0,0,0,[
184mini_line(45,12,3,0,0,0,[
185str_block(0,45,12,3,0,-1,0,0,0,[
186str_seg('blue','Courier',0,80640,45,12,3,0,-1,0,0,0,0,0,
187	"exec=")])
188]),
189mini_line(378,12,3,0,0,0,[
190str_block(0,378,12,3,0,-4,0,0,0,[
191str_seg('blue','Courier',0,80640,378,12,3,0,-4,0,0,0,0,0,
192	"    mktemp(\"/tmp/TgifXXXXXX\",\"file_name\");")])
193]),
194mini_line(306,12,3,0,0,0,[
195str_block(0,306,12,3,0,-4,0,0,0,[
196str_seg('blue','Courier',0,80640,306,12,3,0,-4,0,0,0,0,0,
197	"    strlen(name_assigned,$(name));")])
198]),
199mini_line(405,12,3,0,0,0,[
200str_block(0,405,12,3,0,-4,0,0,0,[
201str_seg('blue','Courier',0,80640,405,12,3,0,-4,0,0,0,0,0,
202	"    if($(name_assigned)==0,assign_name,NULL);")])
203]),
204mini_line(306,12,3,0,0,0,[
205str_block(0,306,12,3,0,-4,0,0,0,[
206str_seg('blue','Courier',0,80640,306,12,3,0,-4,0,0,0,0,0,
207	"    strlen(name_assigned,$(name));")])
208]),
209mini_line(468,12,3,0,0,0,[
210str_block(0,468,12,3,0,-4,0,0,0,[
211str_seg('blue','Courier',0,80640,468,12,3,0,-4,0,0,0,0,0,
212	"    if($(name_assigned)==0,assign_random_name,NULL);")])
213]),
214mini_line(468,12,3,0,0,0,[
215str_block(0,468,12,3,0,-4,0,0,0,[
216str_seg('blue','Courier',0,80640,468,12,3,0,-4,0,0,0,0,0,
217	"    write_attr_into_file(header,\"$(file_name).tex\");")])
218]),
219mini_line(441,12,3,0,0,0,[
220str_block(0,441,12,3,0,-4,0,0,0,[
221str_seg('blue','Courier',0,80640,441,12,3,0,-4,0,0,0,0,0,
222	"    append_attr_into_file(eq,\"$(file_name).tex\");")])
223]),
224mini_line(477,12,3,0,0,0,[
225str_block(0,477,12,3,0,-4,0,0,0,[
226str_seg('blue','Courier',0,80640,477,12,3,0,-4,0,0,0,0,0,
227	"    append_attr_into_file(footer,\"$(file_name).tex\");")])
228]),
229mini_line(180,12,3,0,0,0,[
230str_block(0,180,12,3,0,-4,0,0,0,[
231str_seg('blue','Courier',0,80640,180,12,3,0,-4,0,0,0,0,0,
232	"    launch($(proc));")])
233]),
234mini_line(369,12,3,0,0,0,[
235str_block(0,369,12,3,0,-4,0,0,0,[
236str_seg('blue','Courier',0,80640,369,12,3,0,-4,0,0,0,0,0,
237	"    update_xpm_child(\"$(file_name).xpm\");")])
238]),
239mini_line(288,12,3,0,0,0,[
240str_block(0,288,12,3,0,-4,0,0,0,[
241str_seg('blue','Courier',0,80640,288,12,3,0,-4,0,0,0,0,0,
242	"    select_obj_by_name($(name));")])
243]),
244mini_line(162,12,3,0,0,0,[
245str_block(0,162,12,3,0,-4,0,0,0,[
246str_seg('blue','Courier',0,80640,162,12,3,0,-4,0,0,0,0,0,
247	"    hide_attr(eq);")])
248]),
249mini_line(189,12,3,0,0,0,[
250str_block(0,189,12,3,0,-4,0,0,0,[
251str_seg('blue','Courier',0,80640,189,12,3,0,-4,0,0,0,0,0,
252	"    launch(\"cleanup\")")])
253])
254])])),
255attr("header=", "", 0, 1, 1,
256text('#0000ff',225,696,12,0,1,270,180,15829,12,3,0,0,0,0,2,270,180,0,0,"",0,0,0,0,708,'',[
257minilines(270,180,0,0,0,0,0,[
258mini_line(63,12,3,0,0,0,[
259str_block(0,63,12,3,0,-1,0,0,0,[
260str_seg('#0000ff','Courier',0,80640,63,12,3,0,-1,0,0,0,0,0,
261	"header=")])
262]),
263mini_line(261,12,3,0,0,0,[
264str_block(0,261,12,3,0,-4,0,0,0,[
265str_seg('#0000ff','Courier',0,80640,261,12,3,0,-4,0,0,0,0,0,
266	"\\documentclass[12pt]{article}")])
267]),
268mini_line(189,12,3,0,0,0,[
269str_block(0,189,12,3,0,-4,0,0,0,[
270str_seg('#0000ff','Courier',0,80640,189,12,3,0,-4,0,0,0,0,0,
271	"\\usepackage{amsfonts}")])
272]),
273mini_line(162,12,3,0,0,0,[
274str_block(0,162,12,3,0,-1,0,0,0,[
275str_seg('#0000ff','Courier',0,80640,162,12,3,0,-1,0,0,0,0,0,
276	"\\oddsidemargin=0in")])
277]),
278mini_line(144,12,3,0,0,0,[
279str_block(0,144,12,3,0,-1,0,0,0,[
280str_seg('#0000ff','Courier',0,80640,144,12,3,0,-1,0,0,0,0,0,
281	"\\textwidth=6.5in")])
282]),
283mini_line(126,12,3,0,0,0,[
284str_block(0,126,12,3,0,-2,0,0,0,[
285str_seg('#0000ff','Courier',0,80640,126,12,3,0,-2,0,0,0,0,0,
286	"\\topmargin=0pt")])
287]),
288mini_line(153,12,3,0,0,0,[
289str_block(0,153,12,3,0,-2,0,0,0,[
290str_seg('#0000ff','Courier',0,80640,153,12,3,0,-2,0,0,0,0,0,
291	"\\textheight=609pt")])
292]),
293mini_line(117,12,3,0,0,0,[
294str_block(0,117,12,3,0,-2,0,0,0,[
295str_seg('#0000ff','Courier',0,80640,117,12,3,0,-2,0,0,0,0,0,
296	"\\parskip=14pt")])
297]),
298mini_line(270,12,3,0,0,0,[
299str_block(0,270,12,3,0,-4,0,0,0,[
300str_seg('#0000ff','Courier',0,80640,270,12,3,0,-4,0,0,0,0,0,
301	"\\setlength{\\unitlength}{0.5cm}")])
302]),
303mini_line(153,12,3,0,0,0,[
304str_block(0,153,12,3,0,-4,0,0,0,[
305str_seg('#0000ff','Courier',0,80640,153,12,3,0,-4,0,0,0,0,0,
306	"\\pagestyle{empty}")])
307]),
308mini_line(144,12,3,0,0,0,[
309str_block(0,144,12,3,0,-4,0,0,0,[
310str_seg('#0000ff','Courier',0,80640,144,12,3,0,-4,0,0,0,0,0,
311	"\\begin{document}")])
312]),
313mini_line(9,12,3,0,0,0,[
314str_block(0,9,12,3,0,-1,0,0,0,[
315str_seg('#0000ff','Courier',0,80640,9,12,3,0,-1,0,0,0,0,0,
316	"%")])
317])
318])])),
319attr("footer=", "", 0, 1, 1,
320text('#ff00ff',226,872,3,0,1,126,45,15828,12,3,0,0,0,0,2,126,45,0,0,"",0,0,0,0,884,'',[
321minilines(126,45,0,0,0,0,0,[
322mini_line(63,12,3,0,0,0,[
323str_block(0,63,12,3,0,-1,0,0,0,[
324str_seg('#0000ff','Courier',0,80640,63,12,3,0,-1,0,0,0,0,0,
325	"footer=")])
326]),
327mini_line(9,12,3,0,0,0,[
328str_block(0,9,12,3,0,-1,0,0,0,[
329str_seg('#0000ff','Courier',0,80640,9,12,3,0,-1,0,0,0,0,0,
330	"%")])
331]),
332mini_line(126,12,3,0,0,0,[
333str_block(0,126,12,3,0,-4,0,0,0,[
334str_seg('#0000ff','Courier',0,80640,126,12,3,0,-4,0,0,0,0,0,
335	"\\end{document}")])
336])
337])])),
338attr("", "not_rigid", 0, 1, 1,
339text('blue',225,938,1,0,1,81,15,15827,12,3,0,0,0,0,2,81,15,0,0,"",0,0,0,0,950,'',[
340minilines(81,15,0,0,0,0,0,[
341mini_line(81,12,3,0,0,0,[
342str_block(0,81,12,3,0,-1,0,0,0,[
343str_seg('blue','Courier',0,80640,81,12,3,0,-1,0,0,0,0,0,
344	"not_rigid")])
345])
346])])),
347attr("name=", "15933", 0, 1, 1,
348text('blue',225,-10,1,0,1,90,15,15826,12,3,0,0,0,0,2,90,15,0,0,"",0,0,0,0,2,'',[
349minilines(90,15,0,0,0,0,0,[
350mini_line(90,12,3,0,0,0,[
351str_block(0,90,12,3,0,-2,0,0,0,[
352str_seg('blue','Courier',0,80640,90,12,3,0,-2,0,0,0,0,0,
353	"name=15933")])
354])
355])])),
356attr("name_assigned=", "5", 0, 1, 1,
357text('blue',225,6,1,0,1,135,15,15825,12,3,0,0,0,0,2,135,15,0,0,"",0,0,0,0,18,'',[
358minilines(135,15,0,0,0,0,0,[
359mini_line(135,12,3,0,0,0,[
360str_block(0,135,12,3,0,-2,0,0,0,[
361str_seg('blue','Courier',0,80640,135,12,3,0,-2,0,0,0,0,0,
362	"name_assigned=5")])
363])
364])])),
365attr("assign_name=", "", 0, 1, 1,
366text('blue',225,22,2,0,1,1413,30,15824,12,3,0,0,0,0,2,1413,30,0,0,"",0,0,0,0,34,'',[
367minilines(1413,30,0,0,0,0,0,[
368mini_line(108,12,3,0,0,0,[
369str_block(0,108,12,3,0,-1,0,0,0,[
370str_seg('blue','Courier',0,80640,108,12,3,0,-1,0,0,0,0,0,
371	"assign_name=")])
372]),
373mini_line(1413,12,3,0,0,0,[
374str_block(0,1413,12,3,0,-4,0,0,0,[
375str_seg('blue','Courier',0,80640,1413,12,3,0,-4,0,0,0,0,0,
376	"  get_user_input(name,\"Please give a name to this equation object:\",\"( A random name will be assigned if an empty string is entered or <ESC> is pressed. )\");")])
377])
378])])),
379attr("assign_random_name=", "", 0, 1, 1,
380text('blue',225,54,2,0,1,171,30,15823,12,3,0,0,0,0,2,171,30,0,0,"",0,0,0,0,66,'',[
381minilines(171,30,0,0,0,0,0,[
382mini_line(171,12,3,0,0,0,[
383str_block(0,171,12,3,0,-1,0,0,0,[
384str_seg('blue','Courier',0,80640,171,12,3,0,-1,0,0,0,0,0,
385	"assign_random_name=")])
386]),
387mini_line(135,12,3,0,0,0,[
388str_block(0,135,12,3,0,-4,0,0,0,[
389str_seg('blue','Courier',0,80640,135,12,3,0,-4,0,0,0,0,0,
390	"  new_id(name);")])
391])
392])])),
393attr("geometry=", "25%", 0, 1, 1,
394text('blue',225,386,1,0,1,108,15,15822,12,3,0,0,0,0,2,108,15,0,0,"",0,0,0,0,398,'',[
395minilines(108,15,0,0,0,0,0,[
396mini_line(108,12,3,0,0,0,[
397str_block(0,108,12,3,0,-1,0,0,0,[
398str_seg('blue','Courier',0,80640,108,12,3,0,-1,0,0,0,0,0,
399	"geometry=25%")])
400])
401])])),
402attr("density=", "576", 0, 1, 1,
403text('blue',225,398,1,0,1,99,15,15821,12,3,0,0,0,0,2,99,15,0,0,"",0,0,0,0,410,'',[
404minilines(99,15,0,0,0,0,0,[
405mini_line(99,12,3,0,0,0,[
406str_block(0,99,12,3,0,-2,0,0,0,[
407str_seg('blue','Courier',0,80640,99,12,3,0,-2,0,0,0,0,0,
408	"density=576")])
409])
410])])),
411attr("cmd=", "", 0, 1, 1,
412text('blue',224,530,5,0,1,1197,75,16095,12,3,0,0,0,0,2,1197,75,0,0,"",0,0,0,0,542,'',[
413minilines(1197,75,0,0,0,0,0,[
414mini_line(36,12,3,0,0,0,[
415str_block(0,36,12,3,0,-1,0,0,0,[
416str_seg('blue','Courier',0,80640,36,12,3,0,-1,0,0,0,0,0,
417	"cmd=")])
418]),
419mini_line(108,12,3,0,0,0,[
420str_block(0,108,12,3,0,-4,0,0,0,[
421str_seg('blue','Courier',0,80640,108,12,3,0,-4,0,0,0,0,0,
422	"    cd /tmp;")])
423]),
424mini_line(459,12,3,0,0,0,[
425str_block(0,459,12,3,0,-4,0,0,0,[
426str_seg('blue','Courier',0,80640,459,12,3,0,-4,0,0,0,0,0,
427	"    xterm -geom 80x8+300+100 -e latex $(file_name);")])
428]),
429mini_line(702,12,3,0,0,0,[
430str_block(0,702,12,3,0,-4,0,0,0,[
431str_seg('blue','Courier',0,80640,702,12,3,0,-4,0,0,0,0,0,
432	"    xterm -geom 80x8+300+100 -e dvips -E -n 1 -o $(file_name).ps $(file_name);")])
433]),
434mini_line(1197,12,3,0,0,0,[
435str_block(0,1197,12,3,0,-4,0,0,0,[
436str_seg('blue','Courier',0,80640,1197,12,3,0,-4,0,0,0,0,0,
437	"    xterm -geom 80x8+300+100 -e convert -geometry $(geometry) -density $(density) -colors $(colors) $(file_name).ps $(file_name).xpm;")])
438])
439])])),
440attr("proc=", "cmd", 0, 1, 1,
441text('blue',225,422,1,0,1,72,15,15819,12,3,0,0,0,0,2,72,15,0,0,"",0,0,0,0,434,'',[
442minilines(72,15,0,0,0,0,0,[
443mini_line(72,12,3,0,0,0,[
444str_block(0,72,12,3,0,-1,0,0,0,[
445str_seg('blue','Courier',0,80640,72,12,3,0,-1,0,0,0,0,0,
446	"proc=cmd")])
447])
448])])),
449attr("colors=", "16", 0, 1, 1,
450text('blue',225,410,1,0,1,81,15,15818,12,3,0,0,0,0,2,81,15,0,0,"",0,0,0,0,422,'',[
451minilines(81,15,0,0,0,0,0,[
452mini_line(81,12,3,0,0,0,[
453str_block(0,81,12,3,0,-2,0,0,0,[
454str_seg('blue','Courier',0,80640,81,12,3,0,-2,0,0,0,0,0,
455	"colors=16")])
456])
457])]))
458]).
459
460