diff options
Diffstat (limited to 'info/examples/Math_into_LaTeX-4/newlattice.sty')
-rw-r--r-- | info/examples/Math_into_LaTeX-4/newlattice.sty | 149 |
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 |