summaryrefslogtreecommitdiff
path: root/info/examples/Math_into_LaTeX-4/newlattice.sty
diff options
context:
space:
mode:
Diffstat (limited to 'info/examples/Math_into_LaTeX-4/newlattice.sty')
-rw-r--r--info/examples/Math_into_LaTeX-4/newlattice.sty149
1 files changed, 149 insertions, 0 deletions
diff --git a/info/examples/Math_into_LaTeX-4/newlattice.sty b/info/examples/Math_into_LaTeX-4/newlattice.sty
new file mode 100644
index 0000000000..191ee72fb0
--- /dev/null
+++ b/info/examples/Math_into_LaTeX-4/newlattice.sty
@@ -0,0 +1,149 @@
+% newlattice.sty
+% New command file for lattice papers
+\NeedsTeXFormat{LaTeX2e}[2005/12/01]
+\ProvidesPackage{newlattice}[2006/03/15 New commands for lattices v1.2]
+\RequirePackage{amsmath}
+\RequirePackage{amssymb}
+\RequirePackage{latexsym}
+\RequirePackage[mathscr]{eucal}
+\RequirePackage{enumerate}
+\RequirePackage{xspace}
+
+% Lattice operations
+\newcommand{\jj}{\vee}% join
+\newcommand{\mm}{\wedge}% meet
+\newcommand{\JJ}{\bigvee}% big join
+\newcommand{\MM}{\bigwedge}% big meet
+\newcommand{\JJm}[2]{\JJ(\,#1\mid#2\,)}% big join with a middle
+\newcommand{\MMm}[2]{\MM(\,#1\mid#2\,)}% big meet with a middle
+
+% Set operations
+\newcommand{\uu}{\cup}% union
+\newcommand{\ii}{\cap}% intersection
+\newcommand{\UU}{\bigcup}% big union
+\newcommand{\II}{\bigcap}% big intersection
+\newcommand{\UUm}[2]{\UU(\,#1\mid#2\,)}% big union with a middle
+\newcommand{\IIm}[2]{\II(\,#1\mid#2\,)}
+ % big intersection with a middle
+
+% Sets
+\newcommand{\contd}{\subseteq}% contained in
+\newcommand{\ncontd}{\nsubseteq}% not \contd
+\newcommand{\scontd}{\subset}% strictly contained in
+\newcommand{\contg}{\supseteq}% containing with equality
+\newcommand{\ncontg}{\nsupseteq}% not \contg
+\newcommand{\nin}{\notin}% not \in
+\newcommand{\empset}{\varnothing}% the empty set
+\newcommand{\set}[1]{\{#1\}}% set
+\newcommand{\setm}[2]{\{\,#1\mid#2\,\}}% set with a middle
+\def\vect<#1>{\langle#1\rangle}% vector
+
+% Greek letters
+\newcommand{\Gra}{\alpha}
+\newcommand{\Grb}{\beta}
+\newcommand{\Grc}{\chi}
+\newcommand{\Grd}{\delta}
+\newcommand{\Gre}{\varepsilon}
+\newcommand{\Grf}{\varphi}
+\newcommand{\Grg}{\gamma}
+\newcommand{\Grh}{\eta}
+\newcommand{\Gri}{\iota}
+\newcommand{\Grk}{\kappa}
+\newcommand{\Grl}{\lambda}
+\newcommand{\Grm}{\mu}
+\newcommand{\Grn}{\nu}
+\newcommand{\Gro}{\omega}
+\newcommand{\Grp}{\pi}
+\newcommand{\Grq}{\theta}
+\newcommand{\Grr}{\varrho}
+\newcommand{\Grs}{\sigma}
+\newcommand{\Grt}{\tau}
+\newcommand{\Gru}{\upsilon}
+\newcommand{\Grv}{\vartheta}
+\newcommand{\Grx}{\xi}
+\newcommand{\Gry}{\psi}
+\newcommand{\Grz}{\zeta}
+
+\newcommand{\GrG}{\Gamma}
+\newcommand{\GrD}{\Delta}
+\newcommand{\GrF}{\Phi}
+\newcommand{\GrL}{\Lambda}
+\newcommand{\GrO}{\Omega}
+\newcommand{\GrP}{\Pi}
+\newcommand{\GrQ}{\Theta}
+\newcommand{\GrS}{\Sigma}
+\newcommand{\GrU}{\Upsilon}
+\newcommand{\GrX}{\Xi}
+\newcommand{\GrY}{\Psi}
+
+% Font commands
+\newcommand{\tbf}{\textbf}% text bold
+\newcommand{\tit}{\textit}% text italic
+\newcommand{\tsl}{\textsl}% text slanted
+\newcommand{\tsc}{\textsc}% text small cap
+\newcommand{\ttt}{\texttt}% text typewriter
+\newcommand{\trm}{\textrm}% text roman
+\newcommand{\tsf}{\textsf}% text sans serif
+\newcommand{\tup}{\textup}% text upright
+
+\newcommand{\mbf}{\mathbf}% math bold
+\providecommand{\mit}{\mathit}% math italic
+\newcommand{\msf}{\mathsf}% math sans serif
+\newcommand{\mrm}{\mathrm}% math roman
+\newcommand{\mtt}{\mathtt}% math typewriter
+
+\newcommand{\Bold}[1]{\boldsymbol{#1}}
+ % Bold math symbol, use as \Bold{\alpha}
+\newcommand{\Cal}[1]{\mathcal{#1}}
+ % Calligraphic - only caps, use as \Cal{A}
+\newcommand{\DD}[1]{\mathbb{#1}}
+ % Doubled - blackboard bold - only caps, use as \DD{A}
+\newcommand{\Euler}[1]{\mathscr{#1}}
+ % Euler Script - only caps, use as \Euler{A}
+\newcommand{\Frak}[1]{\mathfrak{#1}}
+% Fraktur, use as \Frak{a}
+
+% Constructs
+\DeclareMathOperator{\Id}{Id}
+\DeclareMathOperator{\Fil}{Fil}
+\DeclareMathOperator{\Con}{Con}
+\DeclareMathOperator{\Aut}{Aut}
+\DeclareMathOperator{\Sub}{Sub}
+\DeclareMathOperator{\Pow}{Pow}
+\DeclareMathOperator{\Part}{Part}
+\DeclareMathOperator{\Ker}{Ker}
+\newcommand{\Ji}[1]{\tup{J}(#1)} %join irreducible
+\newcommand{\Mi}[1]{\tup{M}(#1)} %meet irreducible
+
+% Generated by
+\newcommand{\con}[1]{\tup{con}(#1)}
+\newcommand{\sub}[1]{\tup{sub}(#1)}
+\newcommand{\id}[1]{\tup{id}(#1)}
+\newcommand{\fil}[1]{\tup{f{}il}(#1)}
+\newcommand{\Downg}{\downarrow\!}% down-set generated by
+
+% Miscellaneous
+\newcommand{\newl}{\newline}
+\newcommand{\overl}[1]{\overline{#1}}
+\newcommand{\underl}[1]{\underline{#1}}
+\providecommand{\bysame}{\makebox[3em]{\hrulefill}\thinspace}
+\newcommand{\iso}{\cong}% isomorphic
+\def\congr#1=#2(#3){#1\equiv#2\pod{#3}}
+ %congruence, use it as \congr a=b(\theta)%
+\newcommand{\itemref}[1]{\eqref{#1}}
+\newenvironment{enumeratei}{\begin{enumerate}[\upshape (i)]}%
+ {\end{enumerate}}
+ %produces (i), (ii), etc. Reference with \itemref
+\newenvironment{enumeratea}{\begin{enumerate}[\upshape (a)]}%
+ {\end{enumerate}}
+ %produces (a), (b), etc. Reference with \itemref
+\theoremstyle{plain}
+\newtheorem*{namedtheorem}{\theoremname}
+\newcommand{\theoremname}{testing}
+\newenvironment{named}[1]{\renewcommand{\theoremname}{#1}
+ \begin{namedtheorem}}
+ {\end{namedtheorem}}
+ %use it as \begin{named}{Name of theorem} Body of theorem \end{named}
+
+
+\endinput \ No newline at end of file