; TeX output 1996.03.05:1400y?}JDtGGcmr17A7tguidetothe߆TG cmtt12zedstqyleoption+IXQ cmr12MikreSpiveyjDecemrbSer1990+č>&Nff cmbx121VLIntros3duction>K`y cmr10ThisdoGcumentisaguidetotheversionofthe''ExXdated >11thDecembGer1990.Thisnewversionofthestyleoptionisfullycompatible>with["thefuzzstyleoptiondistributedwiththemy@ cmti12f384- cmcsc10uzztypGe-checkerforZ,>but~usestwo~fontsfromtheAMSpinplaceofthespGecialZfontdistributedwith>f38uzz.4SomeofthesymbGolshavebGeencobbledtogetherbycombiningtwoor>morecharacters,0buttheresultsaregoGodenoughforroughdrafts.Thestyle>optionxrequiresthe`old'AMSefonts,AandwillnotatpresentworkwithSliTU>'ExX>orUUtheSchopf-MittelbachUUfontselectionscheme.MThe("restofthisguideismostlyextractedfromthemanualforf38uzz,\and>itgassumesabasicknowledgeofL5ffA͉TU>'ExX.IFhavenotremovedsomeinformation>abGoutX[howthef38uzztypGe-checkertreatsvqariousconstructs,incaseyoulater>wanttotypGe-checkadocumentyouhaveformattedwiththezedstyleoption.>F*orIinformationabGoutthef38uzzpackqageandhowtoorderit,Kseetheendofthis>guide.MThisyguideandthezedstyleoptionitselfmaybGefreelycopied, distributed>andeusedforanypurpGoseexceptdirectcommercialgain,providedthatthey>arecopiedanddistributedasawholeandwithoutmoGdi cation.nTheauthor>acceptsUUnoliablilityfortheiraccuracyor tnessforanypurpGose.!č>2VLLoadingffthe5߆Tff cmtt12zedstyleoption>EverynJL5ffA͉TU>'ExXdoGcumentshouldbGeginwitha\documentstylecommand.Ifthe>doGcumentLcontainsaZspGeci cation,Ithiscommandshouldincludethestyle>optionUUzed.qF*orexample:W\documentstyle[12pt,zed]{article}>Includingezedasastyleoptionloadsmacrosfromthe lezed.styandalso >loads$fourfontsofextramathematicalsymbGolscalledmsxm9,Xcmsym9,msxm10,>and'*msym10.FY*ourL5ffA͉TU>'ExXinstallationmusthavethesefontsforthezedstyle>optionutowork;ifitdoGesn't,northeyareinthewrongplacetobefoundbyTU>'ExX,>thenUUyouwillgetanerrormessagelikethis:1*y?W!?Font\ninsxm=msxm9notloadable...ύ>TheA2zedstyleoptioncanbGeusedwithanyofthestandardL5ffA͉TU>'ExXstyles,E9andit >canappGeareitherbeforeorafterthetype-sizeoptionifoneisused.xItcanbe>combinedpwithmostofthestandardstyleoptions,butitshouldnotbGecombined>withtfleqn,(bGecausezedalreadymakesprovisionforsettingmathematics ush>left.qAtUUpresent,zeddoGesnotworkwithSliTU>'ExX. ̍>3VLMakingffbs3oxes>T*o@printaschema,zusetheschemaenvironment.dHereisanexample,zshowing> rstUUtheinput,thentheoutputfromL5ffA͉TU>'ExX:N6*W\begin{schema}{PhoneDB}kknown:?\powerNAME\\phone:NAME\pfunPHONEW\wherekknown?=\domphoneW\end{schema};CWfffdffUS fd(': cmti10PhoneDBBffSW ff fdknown{:1 msbm10P 2NAMEW ff fdphones:NAMEv !", cmsy107!PHONEWffffWff<WfffdW ff fdknown{=domURphoneWffWff&;C>ThexnameoftheschemaappGearsasanargumenttotheenvironment,oand >thehorizontaldividinglinebGetweendeclarationsandpredicatesisindicated>bybu\where.'Successivelinesinthedeclarationandpredicatepartsaresepa->ratedbythecommand\\.`Inthisexample,theZsymbGols`Pr',`u7! 'and`dom'>have՛bGeenenteredasthecommands\power,\pfunand\dom:rSforacomplete>listUUofthesecommands,seeSection4bGelow.MLikeJthedisplaymathenvironmentofL5ffA͉TU>'ExX,L\theschemaenvironment(and>theoothersweshallcometoinamoment)canappGearinthemiddleofapara->graph, -andordinarilyshouldhavenoblanklineseitherbGeforeorafterit.SLBlank>linesbGeforetheenvironmentareignored,Ȭbutblanklinesafterwardscausethe>followingUUtexttobGeginanewparagraph.MF*oraschemawithoutapredicatepart,thecommand\whereissimplyomit->ted,UUasinthefollowingexample:6፟*W\begin{schema}{Document[CHAR]}kleft,?right:\seqCHARW\end{schema}WfffdffUS fdDo}'cumentز[CHARc]ffW ff fdleft b> cmmi10;right:seqkCHARWffffWff&2 Qy?>ThisUUexamplealsoshowshowtosetschemaswithgenericparameters. MF*oraxiomaticdescriptions,theaxdefenvironmentisused.Hereisanex->ample:N፟*W\begin{axdef}klimit:?\natW\whereklimit?\leq65535W\end{axdef}WyW ff fdlimit:NWffffWff<WfffdW ff fdlimit65535>InbGothkindsofbox,0predicatesanddeclarationscanbesplitbetweenlines >bGeforeUUorafterin xedsymbols,asshowninthefollowingexample:Z፟*W\begin{axdef}kpolicy:?\power_1RESOURCE\funRESOURCEW\wherek\forall?S:\power_1RESOURCE@\\W\t1/?policy(S)?\inSW\end{axdef}WyW ff fdp}'olicy:P㊟1 RESOURCE!RESOURCEWffffWff<WfffdW ff fd88fdS:P㊟1 RESOURCEW fffdp}'olicy}(S2})2SWy>Thestrangehint\t1inthisexamplemakesthecorrespGondinglineintheoutput>haveonehelpingofindentation.Asthingsgetmorenested,youcansay\t2,>\t3,3 and*xsoon.c}ButifyoushouldevergetbGeyondt9,3 you'llneedtousebraces>around0theargument:|\t{10},andyou'dbGetterlookforsomeway0tosimplify>yourUUspGeci cation!MThis0!systemoftabstopsisalittlecrude,fbutitiseasiertousethanthe>alternatives,cand usuallygivesacceptableresults.YThe\tnIcommandsarecom->pletelyBignoredbythetypGe-checker,=soyouarefreetousethemasyouliketo>improve theloGokofyourspeci cation.YThesizeof`helping'yougetwith\tn+is>aUUstyleparameter\zedindent,andthedefaultis2em.MF*orUUgenericde nitions,there'sthegendefenvironment:qforUUexample,\cW\begin{gendef}[X,Y]kfirst:?X\crossY\funXW\wherek\forall?x:X;y:Y@\\W\t1?first(x,y)?=xW\end{gendef}3$y?WffffffUS( [ff;WfffdffUS fd[X;Y6]( [fdff; W ff fd rst:X8YN!XWffffWff<WfffdW ff fd88fdx\:X;qy:YNW fffd rstز(x4D;y})=xWffffWff&>InGqthisenvironment,theGqformalgenericparmetersareanoptionalargument.>Omittingl-thisargumentresultsinabGoxwithasoliddoublebaratthetop,>whichUUcanbGeusedforuniquelyde ningnon-genericconstants.MIfaschemaorotherbGoxcontainsmorethanonepredicatebGelowtheline,>itoftenloGoksbettertoaddasmallverticalspacebetweenthem.kThiscanbe>doneUUwiththecommand\also:em*W\begin{schema}{AddPhone}k\Delta?PhoneDB\\name?:NAME\\number?:PHONEW\wherekname??\notinknownW\alsokphone'?=phone\oplus\{name?\mapstonumber?\}W\end{schema}WfffdffUS fdA}'ddPhonek ffTW ff fdPhoneDBW ff fdname[?:NAMEW ff fdnumb}'er?:PHONEWffffWff<WfffdW ff fdname[?㊵=2 8known WffW ff fdphone[^ O!cmsy70U=phone;8fname[?7!numb}'er?gWffffWff&MSomepZ`paragraphsdonotappGearinboxes,wandforthesethezedenviron- >mentUUisused:p*W\begin{zed}k[NAME,?DATE]W\alsokREPORT?::=ok|unknown\ldataNAME\rdataW\alsok\exists?n:NAME@\\W\t1?birthday(n)?\inDecember.W\end{zed}W[NAME3;DA;TE]fЍWREPOR;T::=okڥjunknownchUXhNAME3iiW9^8n{:NAME kbirthday}(nc)2De}'cember:4!y?>ThisKenvironmentshouldbGeusedforbasictypGede nitions,constraints,ab- >breviationde nitions,freetypGede nitions,andthehorizontalformofschema>de nitions. Asxtheexampleillustrates,afullstoporcommaisallowedxjust>bGefore3theclosing\endcommandofanyoftheZ3Nenvironments,kifthatsuits>yourmtaste(orisforcedonyoubyapublisher'shouserules).HThispunctuation>isUUignoredbythetypGe-checker.MF*orlargefreetypGede nitions,9thesyntaxenvironmentprovidesauseful>alternativeUUtothezedenvironment,asthefollowingexamplesuggests:\rW\begin{syntax}kOP?&::=&plus|minus|times|divideW\alsokEXP?&::=&const\ldata\nat\rdata\\&?|&binop\ldataOP\crossEXP\crossEXP\rdataW\end{syntax}WOPoͦ::=plus9jminusjtimesjdivideWEXPoͦ::=c}'onstظhUXhNiiujbinophUXhOP?t8EXPEXPiUXi>Just@asintheeqnarrayenvironment@ofL5ffA͉TU>'ExX,{the eldsareseparatedby&>characters,UUandtheseareignoredbythetypGe-checker.!č>4VLInsideffthebs3oxes>The) rstthingtonoticeabGoutthetextinsidetheboxesisthatmulti-character>identi ers8loGokbetterthantheydowithordinaryL5ffA͉TU>'ExX:insteadofspecifications,>you>4getsp}'eci cations!.,dThe>4lettersarenotspreadapart,xkandligatureslike >are8used.0pThisisachieved8byanadjustmenttothewayTU>'ExXtreatslettersin>mathematical&formulas,andnospGecialcommandsareneededintheinput le.>EmbGedded:underlinecharacterscanbGesetwiththe\_command,@whichisalso>usedvcfordummyargumentsofopGerators:not\_knowngivesnot؉ffknownc,and>\_?+\_UUgivesff 5+8ff.MTheσvqariousspGecialsymbolsoftheZclanguageandlibraryhaveσmnemonic>names.bSomeofthesenamesarethesameasinordinaryL5ffA͉TU>'ExX,andsome>symbGolsn6havenewnamesmoresuggestiveoftheirmeaninginZ.Thespaces>inserted)aroundthesymbGolshavebGeenadjustedtomakethemloGokbetterinZ>spGeci cations.MAokfeworsymbGolshavetwonames,ure ectingtwodi erentusesforthesymbGol>inOZ.ThesymbGoljZcmr5o0⍍9 iscalled\semiwhenitisusedasanoperationonschemas,>andpp\compwhenitisusedforcompGositionofrelations.Thesymbolniscalled>\hide :asthehidingopGeratoroftheschemacalculus,rand\setminusfortheset>di erenceYopGerator.Thesymbol. msam10iscalledprojectastheschemapro8jection>opGerator,ando\filterfor lteringofsequences.J{Thespacesaroundtheschema5+#y?>opGerationsarealittlelarger,]andthetype-checkerrecognizeseachnameonlyin >theUUappropriatecontext.MF*or mostsymbGols,two attributesareofinterest:L}thesyntacticclass(=m#R cmss10In-Fun,>...)Sassigned!toitbythetypGe-checker, +andthekindofsymbGolL5ffA͉TU>'ExXgenerates>fromit.wpThe rstofthesea ectstheparsingofanexpressioncontainingthe>symbGol, andtheseconda ectsthewayspaceswillbGeinsertedwhentheexpres->sionKisprinted.UMInthedescriptionbGelow,w`thin',`medium'Kand`thick'spaces>areRthesameasthoseproGducedbytheL5ffA͉TU>'ExXcommands\,and\:and\;>respGectively*.MHereUUarethemnemonicsforthebasicelementsoftheZlanguage:Sfd>PPUX\power>PUX\cross>2PUX\in>jPUX|UUor\mid>PUX@UUor\spot>PUX\thetafdX\lambdaX\muX\DeltaX\Xiru cmex10b=X\defs[^>TheopGeratorsofpropositionallogicandtheschemacalculusareasfollows.>Manydofthesenamesarealreadyde nedbyL5ffA͉TU>'ExX,butthespacingisoften>adjustedUUtomakethemloGokbetterinZspeci cations.fd>:X\lnot>^X\land>_X\lor>)X\implies>,X\iff>8X\forallfd91\exists9:11\exists_1n1\hide1\projectpre1\prejo0⍍91\semi[^>HereUUarethevqarioussortsoffancybrackets:/fd>f::: gp/\{?...\}>h::: ip/\langle?...\rangle>[?[Dr:::Qq]Sn]p/\lbag?...\rbagfdhUXh::: ii/\ldata?...\rdata:::O(UXj:::8׸j)/...?\limg...\rimg>ThoseareallthesymbGols`built-in'totheZIlanguage;5nowforthesymbGols>de ned2.aspartofthemathematicaltoGol-kit.fFirstcomethesymbolswhichare>notUUde nedasin xopGerators,etc.:JFnߍZ\empty>SZ\bigcup>TZ\bigcap>domZ\dom>ranZ\rannߍNc\natZc\numN1c\nat_1#c\#9aG=c\dcat>HereGXarethein xfunctionsymbGols;Ltheyarede nedinL5ffA͉TU>'ExXasbinaryopera->tors,&usomediumspacesareinsertedautomatically*.^?ThetypGe-checkerrecognizes>themUUasofclassIn-Fun.qEachUUsymbGolisshownwithitspriority:68y?Tnߍ>7!Zc\mapsto1 >::Zc\upto2>+Zc+33>Zc-33>[Zc\cup$?3>nZc\setminus 3>9aZc\cat$?3>]Zc\uplus3>Zc*34>divZc\div$?4nߍmoGd\mod$?4 \\cap$?4jo0⍍9\comp4\circ4\filter4\oplus5C\dres6B\rres6C\ndres6B\nrres6fd>TheUUpGost xfunctionsymbols(classPost-Fun)UUallproducesuperscripts:%fd>^N\inv >^+N\plusfd^@\star ^)t}\cmti7n@\bsup?n\esup>As8anexample,qR?\starisprintedasRc^.F*oriteration,thecommands\bsup?...\esup >should;bGeused:>forexample,uR?\bsupn\esup;isprintedasRc^nm.%kThetypGe->checker"Jregardsthisformulaasequivqalenttoiter5no Rc,,asexplainedonpage112>ofUUtheZRM.MThe in xrelationsymbGols(classIn-Rel)arede nedinL5ffA͉TU>'ExXasrelations,so>thickUUspacesareinsertedaroundthemautomatically:HǍfd>6=kG!\neq?r=>2kG!\notin>kG!\subseteq>kG!\subset>!>!\leq!\geqpartition!\partitionin!\inbagfd>There5isonlyonepre xrelationsymbGol(classPre-Rel).g6Itseparatesitselffrom>anUUargumentwithathickspace:Ǎfd>disjointh\disjoint>The @in xgenericsymbGolsareseenbyL5ffA͉TU>'ExXasrelationsymbGols,Rsotheyare>surroundedbythickspaces.; Ofcourse,thetypGe-checkeritselfassignsthemclass>In-Gen:Gfd>$T\relAu7>!T\pfun>!T\funB*7>T\pinj>T\injfd87!!G\psurj!!G\surjG!G\bijG!77!G\ffunZ77G\finj>Pre xegenericsymbGolsareassignedclassPre-GenbythetypGe-checker; inL5ffA͉TU>'ExX,>theyDarede nedasopGeratorsymbols,sothatathinspaceisinsertedbetween>theUUsymbGolandafollowinggenericparameter:7Eڠy? fd>PDr1Z'\power_1 >idZ'\id>FZ'\finset>FDr1Z'\finset_1fdseq\seq seq*qƱ1\seq_1iseq\iseqbag\bagx(>5VLFineffps3oints>In7mathmoGde,whichisusedfortypGe-settingthecontentsofZbGoxes,TU>'ExX >ignores?allspacecharactersintheinput le.jThespaceswhichappGearbetween>elementswofamathematicalformulaaredeterminedbyTU>'ExXitself, workingfrom>informationdabGoutthesymbolsintheformula.Althoughthisinformationhas>bGeenadjustedinthezedstyleoptiontomakeZݘtextsloGokasbalancedas>pGossible,UUthereareoneortwoUUsituationsinwhichTU>'ExXneedsalittlehelp.MSpGecialcareisneededwhenfunctionapplicationisindicatedbyjuxtaposing>two2tidenti ers,9nasintheexpressionr}'ev5words!.f'ThisexpressionshouldbGetyped>asjrev~words.1yTypingjustrev?wordsresultsintheoutputr}'evwords!,sincejTU>'ExX>ignoresƚthespaceseparatingthetwoƚidenti ers.ŗInaformula,thecharacter~>insertsthesameamountofspaceastheL5ffA͉TU>'ExX\,command,butitloGoksbetter>in&Ctheinput le.bThetypGe-checker&Ccompletelyignoresboththe~characterand>theL5ffA͉TU>'ExXspacingcommands,Yexceptthatitissuesawarningifit ndsthata>needed`oneismissing,clforexample,bGetween`twoidenti ers.Itisnotnecessary>to UseparatesymbGolslike\domand\ranfromtheirargumentswitha~,UbGecause>TU>'ExXinsertstherightamountofspaceautomatically*.nForexample,)Qtheinput>\dom?fUUproGducesdomf.MIt-isgoGod-stylealsotoinsertsmallspacesinsidethebracesofasetcompre->hension,UUasinthisexample: rW\{~x:?\nat|x\leq10@x*x~\}Wfx\:Njx10xm$8xg>ThisDhelpstodistinguishitvisuallyfromasetdisplay*,݀whichDshouldnothave >theUUspace:GsW\{1,?2,3\}Wf1;2;3g>TheّspacesymbGol~isignoredbythetypGe-checker,sothisispurelyamatter>of0appGearance.=Italsolooksbetterifyouaddsmallspacesinsidethesquare>bracketsUUof`horizontal'schematexts.MTU>'ExX$RalsoneedshelpwhenabinaryopGeratorappearsattheendofaline,.as>inUUthefollowingexample:8 Ry?*W\begin{zed} kdirectory'?=directory\cup{}\\W\t3Y?\{new\_name??\mapstonew\_number?\}W\end{zed}Wdir}'ectory}^0wβ=directory][ fnewffname[?7!newffnumb}'er?g>TU>'ExXWwillnotrecognize\cupasabinaryopGeratorandinsertthecorrectspace>unlessitissurroundedbytwoopGerands,'sothedummyopGerand{}hasbeen>inserted:lthisisignoredbythetypGe-checker.Thisproblema ectsonlybinary>opGerators;relationsignsdonotneedtobesurroundedbyargumentstobGe>recognizedUUbyTU>'ExX. Q>6VLBitsffandpieces>SpGeci cationFdocumentsoftencontainmathematicaltextwhichdoGesnotform>part#ofthespGeci cationproper.0Thissectiondescribessomeenvironments#for>setting.Jvqariouskindsofmathematics;theyareprovidedforconvenience,dand>theyLareallignoredbythetypGe-checker.?Besidestheseenvironmentsformaking>displays,6@run-in DmathematicscanbGesetwiththeusualmathenvironment,6@or>withrthecommands$?...$ròor\(?...\)1.&AAlltheZrsymbGolslistedinSection4>canUUbGeusedwiththesecommands.MThesimplestdisplayenvironmentisprovidedbythecommands\[?...\].>Thisformactsjustlike\begin{zed}?...\end{zed},Cexceptthatthecontents>areUUignoredbythetypGe-checker.qHereisanexample:B፟*W\[k\exists?PhoneDB@\\W\t1?known?=\emptyW\]W9^8PhoneDBͬkknown{=>ThesecommandsgeneralizethestandardL5ffA͉TU>'ExXcommandswiththesamename,>bGecauseAthedisplayedAmaterialcanbeseverallines.7HNote,|however,thatAthe>contentsUUaresetastextstyleratherthandisplaystylemathematics.MAUUschemabGoxwithnonameisgeneratedbytheschema*environment:N፟*W\begin{schema*}x,?y:\natW\wherex?>yW\end{schema*}9 ^By?Wff&WfffdW ff fdx4D;y:NWffffWff<WffW ff fdx\>yWffffWff&ύ>This/formisoftenusefulforshowingtheresultofexpandingacomplexschema- >expression.MAnotherwtkindofmathematicaldisplayisprovidedbytheargueenvironment.>Thisvislikethezedenvironment,ibuttheseparationbGetweenlinesisincreased>a?little,andpagebreaksmayoGccurbetween?lines.Theintendeduseisfor>argumentsUUlikethis:\rW\begin{argue}kS?\dres(T\dresR)\\W\t1?=?\idS\comp\idT\compR\\W\t1?=?\id(S\capT)\compR&lawabout$\id$\\W\t1?=?(S\capT)\dresR.W\end{argue}WSk]C8(T~CRc)k=id Sjk]o0⍍k]9 ]id \Tj~o0⍍~9 -~Rk=id o(Sk]\8TT)jo0⍍9RZq[lawUUabGoutid ]k=(Sk]\8TT)CRc:>Whentheleft-handsideislong,*Ir ndthisstylebGetterthantheL5ffA͉TU>'ExXeqnarray >style,whichE"wastesalotofspace.A.Thesecond eldoneachlineisoptional.>Again,UUtheargueenvironmentUUisignoredbythetypGe-checker.MFinally*,UUthereistheinfruleenvironment,UUusedforinferencerules:N፟*W\begin{infrule}k\Gamma?\showsPW\derive[x?\notinfreevars(\Gamma)]k\Gamma?\shows\forallx@PW\end{infrule}a`PWffEXX'[xε=\2 m fr}'eevars!()] fda`8 x\P>Thejhorizontallineisgeneratedby\derive;(theoptionalargumentisaside->conditionUUoftherule. V>7VLStyleffparameters>A5few5styleparametersa ectthewayZ5textissetout;@&theycanbGechangedat>anyUUtimeifyourtastedoGesn'tmatchmine.10 gܠy?>\zedindentwTheNindentationformathematicaltext.Bydefault,thisisthe WsameUUas\leftmargini,theindentationusedforlistenvironments.>\zedleftsep|߲TheRspacebGetweenRtheverticallineontheleftofschemas,etc.,WandUUthemathsinside.qThedefaultis1em.>\zedtabgTheUUunitofindentationusedby\t.qThedefaultis2em.>\zedbargTheY]lengthofthehorizontalbarinthemiddleofaschema.ThedefaultWisUU6em.>\zedskiplTheverticalspaceinsertedby\also.[6Bydefault,,thisisthesameasWthatUUinsertedby\medskip.11 q/y?>8VLThefffuzzpackage>Thezf38uzzpackqageconsistsoftwoparts{astyleoptioncompatiblewiththezed >style$optiondescribGedhere,.xandananalysisandcheckingprogram.aUsingf38uzz>togetherUUwithL5ffA͉TU>'ExX,youcan:MWInputUUZspGeci cationsasordinaryASCII les.MWProGcessUUthemforlaserprintingorphoto-typGesetting.MWCheckUUthemforconformancewiththeZlanguagerules.MWProGduce*alistingshowingtheschemasinthespGeci cationwithcompo- WnentsUUandtheirtypGes.>Thewf38uzzanalysisprogramworksonthesameASCIGIw{ leasL5ffA͉TU>'ExX;itextracts>theproGducing8clearerrormessages.5Analysisofa1300-linespeci cationtakesabout>7UUsecondsonaSUN3/75.MThe0f38uzzdistributioncontainstheL5ffA͉TU>'ExXstyleoption,>aspGecialfontofZ>symbGols,Əob8jectcodefortheanalysisprogram,Əalibrarycontainingthestandard>mathematical{RtoGol-kit,andsomeexamplespeci cations.T*ousef38uzz,youwill>needtohaveL5ffA͉TU>'ExXinstalledonyourmachine,buteverythingelseyouneedis>included.ľf38uzzpiscurrentlyavqailableunder`no-nonsense'licenceconditionsfor>theIBMfPCandotherDOSmachines,2andfortheSUN3andSUN4under>SUNIUNIX.bThePCversioncanalsobGeusedonthePS/2.W*earewillingto>proGduceUUversionsforothermachinesaccordingtodemand.12 tPy?>Orderingffinformation>Y*ou canorderthef38uzzpackqageeitherbycuttingoutthecoupGonbelowand >sendingYitwithyourpayment,[&orbysendinganocialorder{wewillsendan>invoice.aPlease%sendallorderstotheaddressbGelow.T*echnical%enquiriescanbGe>sent8toMikeSpiveyatthesameaddress,qorbyE-mailtomike@uk.ac.oxford.prg>.x'Tf38uzzCN cmbx12Cpack@age:orderform>T*o:qMrs.UUA.Spivey,34,WestlandsGrove,UUStoGcktonLane,PsY*ork,UUYO30EF,England.$>Name:΄ff2>Address:΄ff2΄ff2΄ff2>T*elephone:΄ff2>PleaseUUsend[]copiesofthef38uzzpackqageforthefollowingmachines:[ ] SUNUU3version:qCartridgetapGe>VD P cmu10D$300[ ] SUNUU4version:q3.5indisk>VD$275[ ] SUNUU4version:qCartridgetapGe>VD$300[ ] IBMUUPCversion:q5.25indisk>VD$200[ ] IBMUUPCversion:q3.5indisk>VD$200>IUUencloseachequeforD$[],payabletoDr.J.M.Spivey*.>Signed:|A;y D P cmu10CN cmbx12=m#R cmss105߆Tff cmtt124- cmcsc101 msbm10. msam10)t}\cmti7(': cmti10' cmmi10K`y cmr10ٓRcmr7Zcmr5u cmex10