From 5e4ad2777acc4c2420514e39fb98b7cf2e200996 Mon Sep 17 00:00:00 2001 From: Douglas Rumbaugh Date: Sun, 27 Apr 2025 17:36:57 -0400 Subject: Initial commit --- cls/userlib.tex | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 cls/userlib.tex (limited to 'cls/userlib.tex') diff --git a/cls/userlib.tex b/cls/userlib.tex new file mode 100644 index 0000000..c64d25a --- /dev/null +++ b/cls/userlib.tex @@ -0,0 +1,22 @@ +\newcommand{\nop}[1]{} +\newtheorem{definition}{Definition} +\newtheorem{theorem}{Theorem} +\newtheorem{observation}{Observation} +\newtheorem{lemma}{Lemma} +\newtheorem{remark}{Remark}[section] +\newtheorem{corollary}{Corollary}[section] +\newtheorem{example}{Example} +\newtheorem{claim}{Claim} + +\DeclareMathOperator{\op}{op} +\DeclareMathOperator{\args}{arg} +\DeclareMathOperator{\cost}{cost} +\DeclareMathOperator{\lleft}{left} +\DeclareMathOperator{\rright}{right} +\DeclareMathOperator{\argmax}{argmax} +\DeclareMathOperator{\argmin}{argmin} + +\newcommand{\Paragraph}[1]{~\vspace*{-0.8\baselineskip}\\{\bf #1}} +\newcommand\mathbftt[1]{\textnormal{\ttfamily\bfseries #1}} + +\newcommand\note[1]{\marginpar{\color{red}\tiny #1}} -- cgit v1.2.3