% $Id$ % This file defines some useful macros \def\newop#1 {\expandafter\def\csname #1\endcsname{\mathop{\rm #1}\nolimits}} \newop{Operator} % use with \Operator \def\fn(#1:#2->#3){#1:#2 \rightarrow #3} \def\set(#1,#2...#3){\{#1,#2,\ldots,#3\}} \def\enum(#1,#2...#3){#1,#2,\ldots,#3} \def\ssets{\cal{P}}