Chung-chieh Shan ccshan

## meow.tex
\documentclass{article}

\usepackage{mathpartir}
\usepackage{tikz}

% https://tex.stackexchange.com/questions/122415/mathchoice-and-tikzs-remember-picture
\newcommand{\tikzmark}[2]{\tikz[remember picture,inner sep=0,baseline,anchor=base] \node (#1) {#2};}

\begin{document}
\[
	\documentclass{article}

	\usepackage{mathpartir}
	\usepackage{tikz}

	% https://tex.stackexchange.com/questions/122415/mathchoice-and-tikzs-remember-picture
	\newcommand{\tikzmark}[2]{\tikz[remember picture,inner sep=0,baseline,anchor=base] \node (#1) {#2};}

	\begin{document}
	\[