From e0c6872cf40896c7be36b11dcc744620f10adf1d Mon Sep 17 00:00:00 2001
From: Norbert Preining <norbert@preining.info>
Date: Mon, 2 Sep 2019 13:46:59 +0900
Subject: Initial commit

---
 language/polish/utf8mex/doc/test-math.utf8.tex | 227 +++++++++++++++++++++++++
 1 file changed, 227 insertions(+)
 create mode 100644 language/polish/utf8mex/doc/test-math.utf8.tex

(limited to 'language/polish/utf8mex/doc/test-math.utf8.tex')

diff --git a/language/polish/utf8mex/doc/test-math.utf8.tex b/language/polish/utf8mex/doc/test-math.utf8.tex
new file mode 100644
index 0000000000..aae9c00849
--- /dev/null
+++ b/language/polish/utf8mex/doc/test-math.utf8.tex
@@ -0,0 +1,227 @@
+%% 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
-- 
cgit v1.2.3

