\documentclass[12pt,a4paper,dvips,openright]{article}
%\usepackage{amsmath, amsthm}
\usepackage{theorem}
\usepackage[english]{babel}
%\usepackage{fontenc}
%\usepackage{t1enc}
\usepackage{a4}
\usepackage{epsfig}
\usepackage{amsfonts}
\usepackage{latexsym}
\usepackage{alltt}
\usepackage{url}
\usepackage{color}
\usepackage[normalem]{ulem}
%%\usepackage{html}
%%\usepackage{showlabels}

%\theoremstyle{remark}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{algorithm}[theorem]{Algorithm}
\theorembodyfont{\rmfamily}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{remark}[theorem]{Remark}
\theorembodyfont{\rmfamily}
\newtheorem{example}[theorem]{Example}

\newenvironment{proof}[1][\it Proof.]{\begin{trivlist}\item[\hskip \labelsep {\bfseries #1}]}{$_\Box$\end{trivlist}}





\newcommand{\N}{\ensuremath{\mathbb{N}}}
\newcommand{\Z}{\ensuremath{\mathbb{Z}}}
\newcommand{\Q}{\ensuremath{\mathbb{Q}}}
\newcommand{\R}{\ensuremath{\mathbb{R}}}


\newcommand{\A}{\ensuremath{\mathcal{A}}}
\newcommand{\F}{\ensuremath{\mathcal{F}}}
\newcommand{\G}{\ensuremath{\mathcal{G}}}
\newcommand{\T}{\ensuremath{  \mathcal{T}  }}
\newcommand{\K}{\ensuremath{\mathcal{K}}}
\newcommand{\C}{\ensuremath{\mathcal{C}}}
\newcommand{\CC}{\ensuremath{\mathbb{C}}}

\newcommand{\TT}{\ensuremath{\mathbb{T}}}

%\newcommand{\k}{\ensuremath{{k}}}
%\newcommand{\t}{\ensuremath{{t}}}
\newcommand{\x}{\ensuremath{{x}}}

\newcommand{\init}{\textup{in}}
\newcommand{\tinit}{\textup{t-in}}
\newcommand{\homog}{\textup{homog}}
\newcommand{\spann}{\textup{span}}
\newcommand{\flip}{\textup{flip}}
\newcommand{\face}{\textup{face}}
\newcommand{\supp}{\textup{supp}}
\newcommand{\val}{\textup{val}}
\newcommand{\rank}{\textup{rank}}
\newcommand{\conv}{\textup{conv}}
\newcommand{\minAss}{\textup{minAss}}
\newcommand{\Ass}{\textup{Ass}}
\newcommand{\relint}{\textup{rel int}}
\newcommand{\New}{\textup{New}}
\newcommand{\codim}{\textup{codim}}

\newcommand{\puiseux}{{\ensuremath{\CC\{\{t\}\}} }}
