%% Note that this file is UTF-8 encoded          -*- coding: utf-8 -*-

%% -- modified manmac macros

\outer\def\begindisplay{\obeylines\startdisplay}
{\obeylines\gdef\startdisplay#1
  {\catcode`\^^M=5$$#1\halign\bgroup\indent##\hfil&&\qquad##\hfil\cr}}

\chardef\other=12
\def\ttverbatim{\begingroup
  \catcode`\\=\other
  \catcode`\{=\other
  \catcode`\}=\other
  \catcode`\$=\other
  \catcode`\&=\other
  \catcode`\#=\other
  \catcode`\%=\other
  \catcode`\~=\other
  \catcode`\_=\other
  \catcode`\^=\other
  \obeyspaces \obeylines \tt}

\outer\def\begintt{$$\let\par=\endgraf \ttverbatim \parskip=\z@
  \catcode`\|=0 \rightskip-5pc \ttfinish}
{\catcode`\|=0 |catcode`|\=\other % | is temporary escape character
  |obeylines % end of line is active
  |gdef|ttfinish#1^^M#2\endtt{#1|vbox{#2}|endgroup$$}}

\newskip\ttglue
\ttglue=.5em plus.25em minus.15em

\catcode`\|=\active
{\obeylines \gdef|{\ttverbatim \spaceskip\ttglue \let^^M=\  \let|=\endgroup}}

\def\beginsymbols{$$%\displayindent=16pt
  \vbox\bgroup\halign\bgroup
  &\qquad\hbox to10pt{\hss$##$\hss}\enspace&\hbox to80pt{##\hss}\cr}
\outer\def\enddisplay{\crcr\egroup\egroup$$}
\let\endsymbols=\enddisplay

%% ---

\centerline{{\TeX}book, Chapter 16: Typing Math Formulas}

$$ x × y ⋅ z \quad x ∘ y ∙ z \quad x ∪ y ∩ z $$
$$ x ⊔ y ⊓ z \quad x ∨ y ∧ z \quad x ± y ∓ z $$
$$ g^∘ ↦ g^∙ \quad f^*(x) ∩ f_*(y) $$
$$ x ≤ y ≠ z \quad x ∼ y ≃ z \quad x ≡ y \not≡ z $$
$$ x ⊂ y ⊆ z \quad f\colon A → B $$

\centerline{{\TeX}book, Chapter 17: More about Math}

$$ ∑_{n=0}^∞ x_n = ∫_{-∞}^{∞} f(x)\,dx $$

\centerline{{\TeX}book, Chapter 18: Fine Point of Mathematics Typing}

$$ \sin2θ=2\sinθ\cosθ \quad ℏ = 1.0545 × 10^{-27}\,\rm erg\,sec$$
$$ Γ_{\!2}+Δ^{\!2} \quad A_1 × A_2 × \cdots × A_n$$ % missing \cdots in u8tex.el
$$ x_1x_2\ldots x_n $$

\centerline{{\TeX}book, Appendix F: Font Tables}

\bigbreak
\centerline{\it Lowercase Greek letters}
\beginsymbols
α&|\alpha|&ι&|\iota|&ϱ&|\varrho|\cr
β&|\beta|&κ&|\kappa|&σ&|\sigma|\cr
γ&|\gamma|&λ&|\lambda|&ς&|\varsigma|\cr
δ&|\delta|&μ&|\mu|&τ&|\tau|\cr
ε&|\epsilon|&ν&|\nu|&υ&|\upsilon|\cr
\varepsilon&|\varepsilon|&ξ&|\xi|&ϕ&|\phi|\cr
ζ&|\zeta|&o&|o|&φ&|\varphi|\cr
η&|\eta|&π&|\pi|&χ&|\chi|\cr
θ&|\theta|&ϖ&|\varpi|&ψ&|\psi|\cr
ϑ&|\vartheta|&ρ&|\rho|&ω&|\omega|\cr
\endsymbols

\bigbreak
\centerline{\it Uppercase Greek letters}
\beginsymbols
Γ&|\Gamma|&Ξ&|\Xi|&Φ&|\Phi|\cr
Δ&|\Delta|&Π&|\Pi|&Ψ&|\Psi|\cr
Θ&|\Theta|&Σ&|\Sigma|&Ω&|\Omega|\cr
Λ&|\Lambda|&Υ&|\Upsilon|\cr
\endsymbols

\bigbreak
\centerline{\it Miscellaneous symbols of type Ord}
\beginsymbols
ℵ&|\aleph|&\prime&|\prime|&∀&|\forall|\cr
ℏ&|\hbar|&∅&|\emptyset|&∃&|\exists|\cr
ı&|\imath|&∇&|\nabla|&¬&|\neg|\cr
\jmath&|\jmath|&√&|\surd|&♭&|\flat|\cr
ℓ&|\ell|&⊤&|\top|&♮&|\natural|\cr
℘&|\wp|&⊥&|\bot|&♯&|\sharp|\cr
ℜ&|\Re|&∥&|\Vert|&♣&|\clubsuit|\cr
%ℜ&|\Re|&∥&|\|\|&♣&|\clubsuit|\cr
ℑ&|\Im|&∠&|\angle|&♢&|\diamondsuit|\cr
∂&|\partial|&△&|\triangle|&♡&|\heartsuit|\cr
∞&|\infty|&\backslash&|\backslash|&♠&|\spadesuit|\cr
\endsymbols

\bigbreak
\centerline{\it Large operators}
$$\openup3pt
\vbox{\halign{&\qquad\hbox to10pt{\hss$#$\hss}\enspace&
  \hbox to10pt{\hss$\displaystyle#$\hss}\enspace&
  \hbox to60pt{#\hss}\cr
∑&∑&|\sum|&⋂&⋂&|\bigcap|&
  \bigodot&\bigodot&|\bigodot|\cr
∏&∏&|\prod|&⋃&⋃&|\bigcup|&
  \bigotimes&\bigotimes&|\bigotimes|\cr
∐&∐&|\coprod|&\bigsqcup&\bigsqcup&|\bigsqcup|&
  \bigoplus&\bigoplus&|\bigoplus|\cr
∫&∫&|\int|&⋁&⋁&|\bigvee|&
  \biguplus&\biguplus&|\biguplus|\cr
∮&∮&|\oint|&⋀&⋀&|\bigwedge|\cr
}}$$

\bigbreak
\centerline{\it Binary operations}
\beginsymbols
±&|\pm|&∩&|\cap|&∨&|\vee|\cr
∓&|\mp|&∪&|\cup|&∧&|\wedge|\cr
∖&|\setminus|&⊎&|\uplus|&⊕&|\oplus|\cr
⋅&|\cdot|&⊓&|\sqcap|&⊖&|\ominus|\cr
×&|\times|&⊔&|\sqcup|&⊗&|\otimes|\cr
∗&|\ast|&◃&|\triangleleft|&⊘&|\oslash|\cr
⋆&|\star|&▹&|\triangleright|&⊙&|\odot|\cr
⋄&|\diamond|&≀&|\wr|&†&|\dagger|\cr
∘&|\circ|&\bigcirc&|\bigcirc|&‡&|\ddagger|\cr
∙&|\bullet|&△&|\bigtriangleup|&∐&|\amalg|\cr
÷&|\div|&▽&|\bigtriangledown|\cr
\endsymbols

\bigbreak
\centerline{\it Relations}
\beginsymbols
≤&|\leq|&≥&|\geq|&≡&|\equiv|\cr
≺&|\prec|&≻&|\succ|&∼&|\sim|\cr
≼&|\preceq|&≽&|\succeq|&≃&|\simeq|\cr
≪&|\ll|&≫&|\gg|&≍&|\asymp|\cr
⊂&|\subset|&⊃&|\supset|&≈&|\approx|\cr
⊆&|\subseteq|&⊇&|\supseteq|&≅&|\cong|\cr
⊑&|\sqsubseteq|&⊒&|\sqsupseteq|&⋈&|\bowtie|\cr
∈&|\in|&∋&|\ni|&∝&|\propto|\cr
⊢&|\vdash|&⊣&|\dashv|&⊧&|\models|\cr
⌣&|\smile|&∣&|\mid|&≐&|\doteq|\cr
⌢&|\frown|&∥&|\parallel|&⊥&|\perp|\cr
\endsymbols

%\bigbreak
%\centerline{\it Negated relations}

\bigbreak
\centerline{Arrows}
$$\vbox{\halign\bgroup
  \qquad\hbox to10pt{\hss$#$\hss}\enspace&\hbox to75pt{#\hss}&
  \qquad\hbox to10pt{\hss$#$\hss}\enspace&\hbox to85pt{#\hss}&
  \qquad\hbox to10pt{\hss$#$\hss}\enspace&\hbox to80pt{#\hss}\cr
←&|\leftarrow|&\longleftarrow&|\longleftarrow|&
  ↑&|\uparrow|\cr
⇐&|\Leftarrow|&\Longleftarrow&|\Longleftarrow|&
  ⇑&|\Uparrow|\cr
→&|\rightarrow|&\longrightarrow&|\longrightarrow|&
  ↓&|\downarrow|\cr
⇒&|\Rightarrow|&\Longrightarrow&|\Longrightarrow|&
  ⇓&|\Downarrow|\cr
↔&|\leftrightarrow|&\longleftrightarrow&|\longleftrightarrow|&
  ↕&|\updownarrow|\cr
⇔&|\Leftrightarrow|&\Longleftrightarrow&|\Longleftrightarrow|&
  ⇕&|\Updownarrow|\cr
↦&|\mapsto|&\longmapsto&|\longmapsto|&
  ↗&|\nearrow|\cr
↩&|\hookleftarrow|&\hookrightarrow&|\hookrightarrow|&
  ↘&|\searrow|\cr
↼&|\leftharpoonup|&\rightharpoonup&|\rightharpoonup|&
  ↙&|\swarrow|\cr
↽&|\leftharpoondown|&\rightharpoondown&|\rightharpoondown|&
  ↖&|\nwarrow|\cr
⇌&|\rightleftharpoons|\cr
\enddisplay

\bigbreak
\centerline{\it Openings}
\beginsymbols
\lbrack&|\lbrack|&⌊&|\lfloor|&⌈&|\lceil|\cr
\lbrace&|\lbrace|&⟨&|\langle|\cr
\endsymbols

\bigbreak
\centerline{\it Closings}
\beginsymbols
\rbrack&|\rbrack|&⌋&|\rfloor|&⌉&|\rceil|\cr
\rbrace&|\rbrace|&⟩&|\rangle|\cr
\endsymbols

\bigbreak
\centerline{\it Alternate names}
$$\vbox{\halign{\indent$\hfil#\hfil$\enspace&#\hfil\enspace&
  (same as #)\hfil\cr
≠&|\ne| or |\neq|&|\not=|\cr
≤&|\le|&|\leq|\cr
≥&|\ge|&|\geq|\cr
\{&|\{|&|\lbrace|\cr
\}&|\}|&|\rbrace|\cr
→&|\to|&|\rightarrow|\cr
←&|\gets|&|\leftarrow|\cr
∋&|\owns|&|\ni|\cr
∧&|\land|&|\wedge|\cr
∨&|\lor|&|\vee|\cr
¬&|\lnot|&|\neg|\cr
%\vert&|\vert|&\|\cr
%\Vert&|\Vert|&|\|\|\cr
}}$$

\bigbreak
\centerline{Non-math symbols}
$$\vbox{\halign{\indent$\hfil#\hfil$\enspace&#\hfil\enspace\cr
§&|\S|\cr
¶&|\P|\cr
†&|\dag|\cr
‡&|\ddag|\cr
}}$$


\bye
