@Marker(Device,File)
@{{Device definition for online help files.  No overstriking, underlining, }}
@{{or boldfacing will be used; all lines will end with a CRLF		   }}
@Declare(DeviceName="File",FinalName="#.DOC")
@Declare(Driver LPT,Hunits inch,Hraster 10,Vunits inch,Vraster 6)
@Declare(Backspace available,BareCR available)
@Declare(PaperLength 50,Paperwidth 79,ScriptHeight=1)
@Declare(LeftMargin 0,TopMargin 2,BottomMargin 4,LineWidth 79)
@DefineFont(CharDef,R=<ascii "CRT">)
@DefineFont(UserFont)
@Define(C,Capitalized)
@Define(R,Underline off,Capitalized off,Overstruck 0)
@Define(W,Spaces NoBreak)
@Define(Z,Invisible)
@Equate(T=R,I=R,U=R,UN=R,UX=R,B=R,P=R,G=Z)
@Define(F0)@Define(F1)@Define(F2)@Define(F3)@Define(F4)
@Define(F5)@Define(F6)@Define(F7)@Define(F8)@Define(F9)
@Counter(Page,Numbered <@1>,Referenced <@1>,Init 1)
@Counter(EquationCounter,Numbered <(@1)>,
	 Referenced (@1),IncrementedBy tag,Init 0)
@Define(Hdg,Fixed 0,Nofill,LeftMargin 0,RightMargin 0,Spread 0,
	UnNumbered,Underline off,Indent 0,Initialize "@TabClear()")
@Define(Ftg=Hdg,Fixed 45)
@Define(Text,Fill,Justification,Spaces compact,Break)
@Define(Multiple,Indent 0,SpecialCase OpenBefore)
@Define(Transparent)
@Define(Group,Group,Break)
@Define(Float,Float,Break)
@Define(Comment,Break,Continue,Invisible,Nofill)
@Define(Bspace,Break,Above 0,Below 0,Group,Nofill,LeftMargin 0,RightMargin 0)
@Define(Bpage,FloatPage,Break,Continue)
@Define(Pspace,Break,Above 0,Below 0,Group,Nofill,LeftMargin 0,RightMargin 0)
@Define(Verbatim,Break,Continue,Nofill,Spaces Kept,BlankLines kept,Spacing 1)
@Define(Format,Break,Continue,Nofill,Spaces Kept,
	BlankLines kept,Spacing 1,Justification off)
@Define(Insert,Break,Continue,Above 1,Below 1,LeftMargin +4,RightMargin +4,
	spacing 1,BlankLines kept)
@Define(Center,Break,Continue,Above 1,Below 1,Spacing 1,
	Centered,BlankLines kept,Initialize "@TabClear()")
@Define(Heading,Use Center,Continue off,Use B,Use C)
@Equate(MajorHeading=Heading)
@Define(SubHeading,Use Insert,Indent 0,LeftMargin 0,Continue off,Use UX)
@Define(Display,Use Insert,Nofill,Use R,Group,Blanklines Hinge,Spaces Kept)
@Define(Example,Use Insert,Nofill,Spaces Kept,Group,Blanklines Hinge)
@Define(Itemize,Break,Continue,Fill,LeftMargin +5,Indent -5,RightMargin 5,
	numbered <->,NumberLocation lfr,BlankLines break,Spacing 1,Above 1,
	below 1,Spread 1)
@Define(Enumerate,Use Itemize,Numbered <@1.>)
@Define(Description,Break,Above 1,Below 1,Fill,LeftMargin +16,Indent -999,Spaces tab,Spacing 1)
@Define(Quotation,Use Insert,Fill,Use R,BlankLines break)
@Define(Verse,Use Insert,Fill,Spaces Kept,Justification off,Crbreak,Use R,
	indent -3,Spread 0,LeftMargin +8)
@Define(Equation,Use Insert,Nofill,Spaces Kept,Use R,BlankLines kept,
	NumberLocation rfr,Counter EquationCounter)
@Counter(TheoremCounter,Numbered <@1.>,
	 Referenced <@1>,IncrementedBy Reference,Init 0)
@Define(Theorem,Use Insert,Fill,BlankLines break,
	Initialize "@b(Theorem @ref(TheoremCounter): )",
	Counter TheoremCounter)
@Define(Fnenv,Use Text,Above 1,Foot,Use R,LeftMargin 0,Indent 2,Spread 1,
	UnNumbered,Spacing 1,Break off)
@Define(FootSepEnv,Break,SaveBox <FootSep>,Nofill,LeftMargin 0,Above 0,Below 1)
@Equate(Begin=enter,End=leave,Tabstops=tabs,Skip=blankspace,
	File=require,Enumeration=Enumerate,Itemization=Itemize)