TeX personal macro collections

mymacros.sty

\usepackage{amsmath,amssymb}
\usepackage{cases}
\usepackage{extarrows}
\usepackage{bussproofs}
\usepackage{cases}
\usepackage{braket}
\usepackage{tikz}
\usepackage{datetime}
\usepackage[scr]{rsfso}
%\usepackage{mathrsfs}

% Math Operators
\DeclareMathOperator{\cf}{cf}
\DeclareMathOperator{\otp}{otp}
\DeclareMathOperator{\Dom}{Dom}
\DeclareMathOperator{\Rng}{Rng}
\DeclareMathOperator{\dom}{dom}
\DeclareMathOperator{\rng}{rng}
\DeclareMathOperator{\ran}{ran}
\DeclareMathOperator{\trcl}{trcl}
\DeclareMathOperator{\supt}{supt}
\DeclareMathOperator\proj{\boldsymbol{\exists}}
\DeclareMathOperator\comp{\boldsymbol{\neg}}
\DeclareMathOperator\univ{\boldsymbol{\forall}}
\DeclareMathOperator\id{id}
\DeclareMathOperator{\Col}{Col}
\DeclareMathOperator\height{height}
\DeclareMathOperator{\OD}{OD}
\DeclareMathOperator{\HOD}{HOD}
\DeclareMathOperator{\mos}{mos}
\DeclareMathOperator{\cl}{cl}
\DeclareMathOperator{\lh}{lh}
\DeclareMathOperator{\rank}{rank}
\DeclareMathOperator{\ch}{char}
\DeclareMathOperator*{\suslin}{\mathcal{A}}

% Binary Operators
\newcommand{\power}[2]{{{}^{#1} {#2}}}
\newcommand{\concat}{\mathbin{{}^\frown}}
\newcommand{\restr}{\mathbin{\upharpoonright}}
\newcommand{\quot}[2]{\left.\raisebox{.2em}{\ensuremath{#1}}\middle/\raisebox{-.2em}{\ensuremath{#2}}\right.}
\newcommand{\symdiff}{\mathbin{\vartriangle}}

% Unary Operators
\newcommand{\ctblesets}[1]{\left[ #1 \right]^{\leq \aleph_0}}
\newcommand{\finsets}[1]{\left[ #1 \right]^{< \aleph_0}}
\newcommand{\subsets}[2]{\left[ #1 \right]^{#2}}
\newcommand{\finseq}[1]{\power{<\omega}{#1}}
\newcommand{\join}{\mathop{\bigvee}}
\newcommand{\meet}{\mathop{\bigwedge}}

% Binary Relations
\newcommand{\congto}{\stackrel{\sim}{\to}}
\newcommand{\mono}{\rightarrowtail}
\newcommand{\epi}{\twoheadrightarrow}
\newcommand{\defs}{\xLongleftrightarrow{\mathrm{def}}}
\newcommand{\compat}{\mathrel{\|}}
\newcommand{\defeq}{\mathrel{:=}}
\newcommand{\eqdef}{\mathrel{=:}}
\newcommand{\deffml}{\mathrel{:\equiv}}
\newcommand{\deriveto}[1]{\overset{\scriptsize #1}{\rightsquigarrow}}

% Ordinary math operands
\newcommand{\Pow}{\mathcal{P}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\On}{\mathrm{On}}
\newcommand{\CH}{\mathrm{CH}}
\newcommand{\GCH}{\mathrm{GCH}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Sets}{\mathbf{Sets}}
\newcommand{\Cat}{\mathbf{Cat}}
\newcommand{\Gal}{\mathrm{Gal}}
\newcommand{\irr}{\mathrm{irr}}
\newcommand{\Con}{\mathrm{Con}}
\newcommand{\MA}{\mathrm{MA}}
\newcommand{\op}{\mathrm{op}}
\newcommand{\ZFC}{\ensuremath{\mathrm{ZFC}}}
\newcommand{\ZF}{\ensuremath{\mathrm{ZF}}}
\newcommand{\DC}{\ensuremath{\mathrm{DC}}}
\newcommand{\ADLR}{\mathrm{AD}^{L(\R)}}
\newcommand{\AD}{\mathrm{AD}}
\newcommand{\AC}{\mathrm{AC}}
\newcommand{\I}{\text{\Rnum{1}}}
\newcommand{\II}{\text{\Rnum{2}}}
\newcommand{\Seq}{\power{<\omega}{\omega}}
\newcommand{\PP}{\mathbb{P}}
\newcommand{\itilde}{\tilde{\imath}}
\newcommand{\QQ}{\mathbb{Q}}
\newcommand{\Fn}{\mathrm{Fn}}
\newcommand{\MB}{\mathbb{MB}}
\newcommand{\meager}{\mathord{\mathsf{meager}}}
\newcommand{\Null}{\mathord{\mathsf{null}}}
\newcommand{\Borels}{\mathord{\mathscr{B}}}
\newcommand{\Baire}{\mathord{\mathcal{N}}}
\newcommand{\Cantor}{\power{\omega}{2}}

% Texts
\newcommand{\ow}{\text{otherwise}}
\newcommand{\owp}{(\text{otherwise})}
\newcommand{\otherwise}{\mathrm{otherwise}}

% Math symbols
\newcommand{\qedm}{\rule{0.5em}{1em}}
\newcommand{\cls}[2]{\Set{#1 | #2(x)}}

\newcommand{\contradiction}{\tikz[baseline]{%
  \pgfmathsubtract{0.75ex}{1.5 pt}\let\a\pgfmathresult%
  \draw[line width=3pt] (0ex,0ex) -- (1.5ex, 1.5ex) (0, 1.5ex) -- (1.5ex, 0);%
  \draw[white,line width=1.5pt]
    (0,0) -- (canvas polar cs:angle=45,radius=3pt)%
    (canvas polar cs:angle=45,radius=6pt) -- + (canvas polar cs:angle=45,radius=0.75ex)
    (-0.01ex,1.51ex) -- (0, 1.5ex)
    (-0.01ex,-0.01ex) -- (0,0)
    (0,1.5ex) -- ++(canvas polar cs:angle=-45,radius=3pt)
    ++(canvas polar cs:angle=-45,radius=3pt) -- ++(canvas polar cs:angle=-45,radius=3pt)
    -- ++(canvas polar cs:angle=-45,radius=0.1ex);%
  \draw[white,line width=1.5pt]
    (canvas polar cs:angle=45,radius=3.75pt) -- +(canvas polar cs:angle=45,radius=1.5pt);%
  }}

% Font macros
\newcommand{\boldface}[1]{\boldsymbol{#1}}
\newcommand{\tildeface}[1]{\mathop{\smash{\ensuremath{\underset{\raisebox{2ex}{\ensuremath{\sim}}}{#1}}}}\hspace{-0.25ex}\mathop{\vphantom{#1}}\nolimits}

% Misc macros
\newcommand{\pboxy}[1]{\pbox<y>{#1}}
\newcommand{\ignore}[1]{}
\newcommand{\pair}[1]{\braket{#1}}
\newcommand{\replace}[2]{[\begin{smallmatrix} {#1} \\ {#2} \end{smallmatrix}]}
\newcommand\ScaleExists[1]{\vcenter{\hbox{\scalefont{#1}$\exists$}}}
\newcommand{\underdefeq}[2]{\underbrace{#2}_{\substack{\rotatebox{90}{\scriptsize $\defeq$}\\#1}}}
\newcommand{\raisedisp}[2]{\raisebox{#1}{\ensuremath{\displaystyle #2}}}
\newcommand{\raisemath}[2]{\raisebox{#1}{\ensuremath{#2}}}

% Quotation marks for Goedel codes (⌜⌝)
\newbox\gnBoxA
\newdimen\gnCornerHgt
\setbox\gnBoxA=\hbox{$\ulcorner$}
\global\gnCornerHgt=\ht\gnBoxA
\newdimen\gnArgHgt
\def\code #1{%
\setbox\gnBoxA=\hbox{$#1$}%
\gnArgHgt=\ht\gnBoxA%
\ifnum     \gnArgHgt<\gnCornerHgt \gnArgHgt=0pt%
\else \advance \gnArgHgt by -\gnCornerHgt%
\fi \raise\gnArgHgt\hbox{$\ulcorner$} \box\gnBoxA %
\raise\gnArgHgt\hbox{$\urcorner$}}

% Iroha counters
\def\@iroha#1{%
  \ifcase#1\or イ\or ロ\or ハ\or ニ\or ホ\or ヘ\or ト\or チ\or リ\or ヌ\or ル\or ヲ\or
  ワ\or カ\or ヨ\or タ\or レ\or ソ\or ツ\or ヌ\or ナ\or ラ\or ム\or
  ウ\or ヰ\or ノ\or オ\or ク\or ヤ\or マ\or ケ\or フ\or コ\or エ\or テ\or 
  ア\or サ\or キ\or ユ\or メ\or ミ\or シ\or ヱ\or ヒ\or モ\or セ\or ス\or ン\else\@ctrerr\fi}

\def\@Iroha#1{%
  \ifcase#1\or い\or ろ\or は\or に\or ほ\or へ\or と\or ち\or り\or ぬ\or る\or を\or
  わ\or か\or よ\or た\or れ\or そ\or つ\or ね\or な\or ら\or む\or
  う\or ゐ\or の\or お\or く\or や\or ま\or け\or ふ\or こ\or え\or て\or 
  あ\or さ\or き\or ゆ\or め\or み\or し\or ゑ\or ひ\or も\or せ\or す\or ん\else\@ctrerr\fi}

% Math Accents (widecheck, wideparen)
\DeclareFontFamily{U}{mathx}{\hyphenchar\font45}
\DeclareFontShape{U}{mathx}{m}{n}{
      <5> <6> <7> <8> <9> <10>
      <10.95> <12> <14.4> <17.28> <20.74> <24.88>
      mathx10
      }{}
\DeclareSymbolFont{mathx}{U}{mathx}{m}{n}
\DeclareFontSubstitution{U}{mathx}{m}{n}
\DeclareMathAccent{\widecheck}{0}{mathx}{"71}
\DeclareMathAccent{\wideparen}{0}{mathx}{"75}

\def\cs#1{\texttt{\char`\\#1}}

myslide.sty

\usepackage{bxdpx-beamer}
\usepackage{mymacros}
\usetheme{Copenhagen}
\renewcommand{\ZFC}{\mathord{\mathsf{ZFC}}}
\renewcommand{\ZF}{\mathord{\mathsf{ZF}}}
\renewcommand{\DC}{\mathord{\mathsf{DC}}}
\AtBeginSection[]{
    \frame{\frametitle{目次}\tableofcontents[currentsection, hideallsubsections]} %目次スライド
}
\usepackage{tikz}
\tikzset{
  invisible/.style={opacity=0},
  visible on/.style={alt={#1{}{invisible}}},
  alt/.code args={<#1>#2#3}{%
    \alt<#1>{\pgfkeysalso{#2}}{\pgfkeysalso{#3}} % \pgfkeysalso doesn't change the path
  },
}

\tikzset{onslide/.code args={<#1>#2}{%
  \only<#1>{\pgfkeysalso{#2}} % \pgfkeysalso doesn't change the path
}}
\tikzset{temporal/.code args={<#1>#2#3#4}{%
  \temporal<#1>{\pgfkeysalso{#2}}{\pgfkeysalso{#3}}{\pgfkeysalso{#4}} % \pgfkeysalso doesn't change the path
}}
\newcommand{\circled}[1]{\tikz[baseline=(n.base)] \node (n) [circle, color=bg,fill=fg,thick] {\small #1};}

mystyle.sty

\usepackage[framed,thmmarks,amsthm]{ntheorem}
\usepackage{framed}

\theoremstyle{definition}
\theoremseparator{.}
\newframedtheorem{theorem}{定理}
\newframedtheorem{example}{例}
\newframedtheorem{definition}{Def.}
\newframedtheorem{prop}{命題}
\newframedtheorem{corollary}{系}
\newframedtheorem{question}{問}
\newframedtheorem{problem}{問題}
\newframedtheorem{lemma}{補題}
\newframedtheorem{remark}{注意}
\newframedtheorem{fact}{Fact}
\newframedtheorem{claim}{Claim}
\newframedtheorem{subclaim}{Subclaim}


\theoremstyle{nonumberplain}
\newframedtheorem{rem*}{注意}
\newframedtheorem{notation}{記号}

%% その他記号
\usepackage{mymacros}
\qedsymbol{\rule{0.5em}{1em}}