% 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