\def\SScurfname{ \jobname.tex}    % Note  the space before  \jobname
\def\SSone{\special{src:\the\inputlineno\SScurfname}}
\everypar={\SSone}
 
%
%Font setup
%
\font\apm=morse10
\font\tpm=mmx10
\newfam\lmfam  \def\lm{\fam\lmfam\apm}
\textfont\lmfam=\apm
 
\newfam\mmfam \def\mm{\fam\mmfam\tpm}
\textfont\mmfam=\tpm
 
\font\bigss=cmss12
\font\bigrm=cmr10 scaled 1500    %  Used in titles
\font\bgrm=cmr10 scaled 1300     
%
%Layout Macros
%
\def\noparse{}
\def\tskip{\vskip  10pt\noindent}
\def\tabb{\noindent\hskip  5pt}
\def\tabc{\noindent}
\def\chap#1{\noindent{\bf #1}}
\def\notea#1{\par.#1\noindent\hskip  12pt}
\def\noteb#1{\par.#1\noindent\hskip  32pt}
\def\notec#1{\par.#1\noindent\hskip  52pt}
\def\noted#1{\par.#1\noindent\hskip  72pt}
\def\notee#1{\par.#1\noindent\hskip  92pt}
\def\notef#1{\par.#1\noindent\hskip  112pt}
\def\noteg#1{\par.#1\noindent\hskip  132pt}
\def\Notea#1#2{\par.#1#2\noindent\hskip   7pt}
\def\Noteb#1#2{\par.#1#2\noindent\hskip  27pt}
\def\Notec#1#2{\par.#1#2\noindent\hskip  47pt}
\def\Noted#1#2{\par.#1#2\noindent\hskip  67pt}
\def\Notee#1#2{\par.#1#2\noindent\hskip 87pt}
\def\Notef#1#2{\par.#1#2\noindent\hskip 107pt}
\def\Noteg#1#2{\par.#1#2\noindent\hskip 127pt}
\def\ootea#1#2#3{\par.#1#2#3\noindent\hskip 2pt}
\def\ooteb#1#2#3{\par.#1#2#3\noindent\hskip 22pt}
\def\ootec#1#2#3{\par.#1#2#3\noindent\hskip 42pt}
\def\linea{\vskip  1pt\noindent\hskip 20pt}
\def\lineb{\vskip 1pt\noindent\hskip  40pt}
\def\linec{\vskip 1pt\noindent\hskip 60pt}
\def\lined{\vskip  1pt\noindent\hskip 80pt}
\def\linee{\vskip 1pt\noindent\hskip  100pt}
\def\linef{\vskip 1pt\noindent\hskip  120pt}
\def\lineg{\vskip 1pt\noindent\hskip  140pt}
\def\By{\hfill$\ddagger$}
\def\Bye{\hfill{\rm{Q.E.D.}}}
%
%Primes
%
\def\p{^\prime}
\def\pp{^{\prime\prime}}
\def\ppp{^{\prime\prime\prime}}
%
%Quine's  Corner  Brackets
%
\mathchardef\qql="4864
\mathchardef\qqr="5865
%
%Schemators
%
\def\q{\underline p}
%\def\u{\underline u}
\def\pvar{\underline  p}
\def\qvar{\underline q}
\def\rvar{\underline  r}
\def\svar{\underline  s}
\def\tvar{\underline  t}
\def\ppvar{\underline  {pp}}
\def\pqvar{\underline  {pq}}
\def\prvar{\underline  {pr}}
\def\psvar{\underline  {ps}}
\def\ptvar{\underline  {pt}}
\def\qpvar{\underline  {qp}}
\def\qqvar{\underline  {qq}}
\def\qrvar{\underline  {qr}}
\def\qsvar{\underline  {qs}}
\def\qtvar{\underline  {qt}}
\def\rpvar{\underline  {rp}}
\def\rqvar{\underline  {rq}}
\def\rrvar{\underline  {rr}}
\def\rsvar{\underline  {rs}}
\def\rtvar{\underline  {rt}}
\def\spvar{\underline  {sp}}
\def\sqvar{\underline  {sq}}
\def\srvar{\underline  {sr}}
\def\ssvar{\underline  {ss}}
\def\stvar{\underline  {st}}
\def\tpvar{\underline  {tp}}
\def\tqvar{\underline  {tq}}
\def\trvar{\underline  {tr}}
\def\tsvar{\underline  {ts}}
\def\ttvar{\underline  {tt}}
\def\underl#1{{\underline{\rm #1}}}
\def\pbar{\underl  p}
\def\qbar{\underl q}
\def\rbar{\underl r}
\def\sbar{\underl  s}
\def\ubar{\underl u}
\def\vbar{\underl  v}
\def\wbar{\underl  w}
\def\pbarp{\pbar\p}
\def\qbarp{\qbar\p}
\def\rbarp{\rbar\p}
\def\ubarp{\ubar\p}
\def\vbarp{\vbar\p}
\def\pbarpp{\pbar\pp}
\def\qbarpp{\qbar\pp}
\def\rbarpp{\rbar\pp}
\def\pbarppp{\pbar\ppp}
\def\qbarpp{\qbar\ppp}
\def\rbarpp{\rbar\ppp}
\def\pbar{\underl  p}
\def\qbar{\underl q}
\def\rbar{\underl r}
\def\sbar{\underl  s}
\def\ubar{\underl u}
\def\vbar{\underl  v}
\def\pbarp{\pbar\p}
\def\qbarp{\qbar\p}
\def\rbarp{\rbar\p}
\def\ubarp{\ubar\p}
\def\vbarp{\vbar\p}
\def\pbarpp{\pbar\pp}
\def\qbarpp{\qbar\pp}
\def\rbarpp{\rbar\pp}
\def\pbarppp{\pbar\ppp}
\def\qbarpp{\qbar\ppp}
\def\rbarpp{\rbar\ppp}
\mathchardef\lschar="3868
\mathchardef\rschar="3869
\def\ls{\mathopen{\lschar}}
\def\rs{\mathclose{\rschar}}
\def\lab{\mathopen{\lschar}}
\def\rab{\mathclose{\rschar}}
%
%  LOGIC
%
%\mathchardef\dfn="3841
\def\dfn{\mathrel{\equiv}}
\def\dff{\mathrel{\Iff}}
\def\dft{\mathrel{\equiv}}
\def\Not{\neg}
%\def\Not{\mathord{\sim}}
\def\implies{\rightarrow}
\def\c{\mathrel{\rightarrow}}
\def\Iff{\leftrightarrow}
\def\Nor{\downarrow}
\mathchardef\and="385E
\mathchardef\Or="385F
\mathchardef\Unqs="382B
\mathchardef\Unqt="382A
%\def\Unq{\mathop{\dot\Unqs}}
\def\Tnq{\mathop{\dot\Unqt}}
\def\a{\and}
%Warning:  this overwrites  \o=\le
\def\o{\Or}
\def\Onr{\mathrel{\dot\Or}}
\def\Owr{\mathrel{\ddot\Or}}
\def\Owr{\mathrel{\ddot\Or}}
\def\Ltw{\mathrel{\dbar\Or}}
\def\Mtw{\mathrel{\bar{\bar\and}}}
\def\Mon{\mathrel{\overline{\and}}}
\def\ident{\equiv}
\def\an{\mathop{\rm  an\,}}
%\def\Each{\raise0.4ex\hbox{$\bigwedge$}}
\def\Each{\mathop{\bigwedge}}
\def\Some{\mathop{\bigvee\hskip-.4ex}}
%\def\true{\mathop{\top}}
%\def\false{\mathop{\bot}}
\mathchardef\One="194F
%\mathchardef\Unq="194E
\def\Unq{\mathop{\overline{\Each}}}
%\def\One{\mathop{\rm  One\,}}
\def\The{\mathop{\rm  the\,}}
\def\els{\mathrel{\triangleright}}
\def\cond{\mapsto}
\mathchardef\case="3805
\mathchardef\casedot="3806
\mathchardef\Case="187D
%
%Set  Notation
%
\mathchardef\setof"1845
\def\hibar{^{\hbox{-}}}
\def\U{{\rm  U}}  
\def\e{\emptyset}
\mathchardef\usim="2818
\mathchardef\setdif="2818
\mathchardef\strcomma="6830
\def\dscomma{\mathbin{\strcomma\hskip-3pt\strcomma}}
\def\dcap{\mathbin{\cap\cap}}
\def\dcup{\mathbin{\cup\cup}}
\def\Cmpl{\mathord{\sim}}
\mathchardef\dsj="3874
%Inverted:
%\mathchardef\dsj="3875
\def\djn{\mathop{\not{\hskip-2pt\cap}}}
%\mathchardef\PI="1841
%\def\PI{\Pi}
\mathchardef\PI="1836
\mathchardef\sigmabar="1835
\mathchardef\SI="1835
\mathchardef\true="183E
\mathchardef\false="183F
%\def\sigmabar{\sigma}
\mathchardef\Sdiff="1944
\mathchardef\sdiff="1834
\mathchardef\Symdif="1944
\mathchardef\symdif="1834
%\def\sdiff{\Delta}
\def\PIbar{\PI\hibar}
%\def\Sdiff{\underl{\sdiff}}
\def\psb{\mathbin{\i\cdot}}
\def\noti{\not\i}
\def\notj{\not\j}
\def\notin{\not\in}
\def\_{\mathop {\hskip-1.5pt\tt\char95\hskip-1pt}}
%
%Function  Notation
%
\mathchardef\Dot="1801
\mathchardef\.="1801
\mathchardef\and="385E
\mathchardef\lonzo="184C
\mathchardef\clonzo="184D
\mathchardef\into="3821
\mathchardef\oneto="381F
\mathchardef\onto="3825
\mathchardef\cmp="380E
%We depracate the following defn:
\mathchardef\cpos="380E
\def\bito{\leftrightarrow}
\def\lostar{{\lm\mathchar"803}}
\def\histar{{\lm\mathchar"807}}
\def\dcirc{\mathbin{\cpos\cpos}}
\def\num{\mathord{\rm\char35}}
\def\onetoone{\mathop{\rm  one\hskip-4pt-\hskip-4pt to
\hskip-4pt-\hskip-4pt  one}}
\def\onetoonep{\mathop{\rm one\hskip-4pt-\hskip-4pt  to
\hskip-4pt-\hskip-4pt onep}}
%
% Structure  Carriers
%
\def\underl#1{{\underline{\rm  #1}}}
\def\dbar#1{{\underl{\underl #1}}}
\def\struct#1{\mathop{\rm  struct#1}}
\def\extAddition#1{\mathop {\rm  extAddition#1}}
\def\extOrdering#1{\mathop {\rm  extOrdering#1}}
\def\extMultiplication#1{\mathop {\rm  extMultiplication#1}}
\def\Open#1{\mathop {\rm  Open#1}}
\def\structNats#1{\mathop {\rm  structNats#1}}
\def\structInts#1{\mathop {\rm  structInts#1}}
\def\structRats#1{\mathop {\rm  structRats#1}}
\def\structReals#1{\mathop {\rm  structReals#1}}
\def\Space{\mathop {\rm  space}}
%
%Structure Namespace Alphabet
\def\dbara{\rm \dbar a}
\def\dbarb{\rm \dbar b}
\def\dbarc{\rm \dbar c}
\def\dbard{\rm \dbar d}
\def\dbare{\rm \dbar e}
\def\dbarf{\rm \dbar f}
\def\dbarg{\rm \dbar g}
\def\dbarh{\rm \dbar h}
\def\dbari{\rm \dbar i}
\def\dbarj{\rm \dbar j}
\def\dbark{\rm \dbar k}
\def\dbarl{\rm \dbar l}
\def\dbarm{\rm \dbar m}
\def\dbarn{\rm \dbar n}
\def\dbaro{\rm \dbar o}
\def\dbarp{\rm \dbar p}
\def\dbarq{\rm \dbar q}
\def\dbarr{\rm \dbar r}
\def\dbars{\rm \dbar s}
\def\dbart{\rm \dbar t}
\def\dbaru{\rm \dbar u}
\def\dbarv{\rm \dbar v}
\def\dbarw{\rm \dbar w}
\def\dbarx{\rm \dbar x}
\def\dbary{\rm \dbar y}
\def\dbarz{\rm \dbar z}
%
%Products
%
\def\plusp{\mathbin{{+\p}}}
\def\timesp{\mathbin{{\cdot\p}}}
\def\crdp{\mathop {{\rm  crd}\p}}
\def\crdpp{\mathop {{\rm  crd}\pp}}
\def\lilx{\mathbin{\hbox{\bigss x}}}
\def\bigx{\hbox{\bigss  X}}
%
%Numbers
%
\def\nats{{\bf{N}\hskip  1pt}}
\def\decnats{{\bf{N}_{-1}\hskip 1pt}}
\def\ints{{\bf{Z}\hskip  1pt}}
\def\rats{{\bf{Q}\hskip 1pt}}
\def\ratsp{{\bf{Q^+}\hskip  1pt}}
\def\overl#1{{\overline{\rm #1}}}
\def\xreals{{\overl{\bf{R}}\hskip  1pt}}
\def\reals{{\bf{R}\hskip 1pt}}
\def\Mod{\mathop{\rm  mod}}
\def\minus#1{\mathop {\rm minus#1}}
\def\mod#1{\mathop {\rm  mod#1}}
\def\dividedby#1{\mathop {\rm  dividedby#1}}
\mathchardef\Sqrt="1870
\mathchardef\toThe="382A
%\def\toThe{\mathop  {\tt \char94}}
%
%
%Graphs
%
\def\gconnect{\mathop  {\sqcup}}
\def\gdconnect{\mathop  {\sqsubseteq}}
\def\ghom{\simeq}
\mathchardef\gisom="3810
%
%  Special Spellings
%
\def\flatt{\mathop{\rm flat}}
\def\In{\mathrel{\rm  in}}
\def\K{\rm K}
\def\Prime{\mathop{\rm prime}}
\def\bigg{\mathop{\rm  big}}
\def\flatt{\mathop{\rm isodimic}}
\def\And{\mathrel{\rm  and}}
\def\Point{\mathop{\rm point}}
\def\Line{\mathop{\rm line}}
%
%Space domain  symbols
\def\ullessthan{\underl{lessthan}}
\def\ultimes{\underl{times}}
\def\ulplus{\underl{plus}}
\def\ultopology{\underl{topology}}
\def\ulgraph{\underl{graph}}
\def\ulone{\underl{1}}
%\def\@#1{\mathop  {\rm{#1}}}
